Constructor and Description |
---|
SignAnalysisDomainElem() |
Modifier and Type | Method and Description |
---|---|
boolean |
isBottom() |
boolean |
isGeq() |
boolean |
isLeq() |
boolean |
isNeg() |
boolean |
isPos() |
boolean |
isTop() |
boolean |
isZero() |
getDefiningAxiom, toParseableString, toString
public boolean isBottom()
public boolean isNeg()
public boolean isZero()
public boolean isPos()
public boolean isLeq()
public boolean isGeq()
public boolean isTop()