public class Top extends SignAnalysisDomainElem
Modifier | Constructor and Description |
---|---|
private |
Top() |
Modifier and Type | Method and Description |
---|---|
Term |
getDefiningAxiom(Term varOrConst,
Services services)
Return the defining axiom, instantiated for a given
Term (skolem constant or logical / program variable).
|
static Top |
getInstance() |
Name |
name()
returns the name of this element
|
isBottom, isGeq, isLeq, isNeg, isPos, isTop, isZero
toString
private static final Top INSTANCE
public static Top getInstance()
public Name name()
Named
public Term getDefiningAxiom(Term varOrConst, Services services)
AbstractDomainElement
Return the defining axiom, instantiated for a given Term (skolem constant or logical / program variable). The term can be seen as a representative of this abstract domain element; the returned formula must formally specify this.
If this element describes, for instance, all numbers divisible by 2, the method could return the formula "varOrConst % 2 == 0".
getDefiningAxiom
in class AbstractDomainElement
varOrConst
- The logical / program variable or skolem
constant representing an instance of this abstract domain
element.services
- A services object.