Constructor and Description |
---|
BooleanDomainElem() |
Modifier and Type | Method and Description |
---|---|
boolean |
isBottom() |
boolean |
isFalse() |
boolean |
isTop() |
boolean |
isTrue() |
getDefiningAxiom, toParseableString, toString
public boolean isBottom()
public boolean isFalse()
public boolean isTrue()
public boolean isTop()