fix issue, thanks for pointing it out in your homework!
This commit is contained in:
parent
c74d331b66
commit
cc5705fc23
1 changed files with 1 additions and 1 deletions
|
@ -126,7 +126,7 @@ public class BoolTreeNode
|
|||
|
||||
// negationsknoten
|
||||
if (!child1.isNegation())
|
||||
return false;
|
||||
return child1.removeDoubleNegations();
|
||||
BoolTreeNode grandchild = child1.child1;
|
||||
variable = grandchild.variable;
|
||||
child1 = grandchild.child1;
|
||||
|
|
Reference in a new issue