Skip to content

Commit 8efdb67

Browse files
authored
Bugfix: Empty rows are not prime in NL*. Fixes Issue 70 (#71)
Co-authored-by: Joshua Moerman <[email protected]>
1 parent 3164833 commit 8efdb67

File tree

1 file changed

+3
-1
lines changed
  • algorithms/active/nlstar/src/main/java/de/learnlib/algorithms/nlstar

1 file changed

+3
-1
lines changed

algorithms/active/nlstar/src/main/java/de/learnlib/algorithms/nlstar/Row.java

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -129,7 +129,9 @@ public List<Row<I>> getCoveredRows() {
129129
}
130130

131131
boolean checkPrime() {
132-
if (coveredRows.isEmpty()) {
132+
if (contents.isEmpty()) {
133+
prime = false;
134+
} else if (coveredRows.isEmpty()) {
133135
prime = true;
134136
} else {
135137
BitSet aggContents = new BitSet();

0 commit comments

Comments
 (0)