public interface ILogical extends Cloneable
Modifier and Type | Method and Description |
---|---|
boolean |
isLit()
Current tree is a literal
|
boolean |
isNot()
Current tree is rooted with NOT logical operator
This is a one way relationship: in case a = not(b)
a.isNot() returns true whereas b.isNot() returns false (unless b = not(c)...)
|
void |
setNot(boolean isNot)
States whether or not this variable is the negation of another.
|
boolean isLit()
true
if this
is a literalboolean isNot()
true
if this
is NOTvoid setNot(boolean isNot)
isNot
- true iff this variable is the negation of anotherCopyright © 2015. All rights reserved.