public class DisjunctivePredicateAbstractionDomainElement extends AbstractPredicateAbstractionDomainElement
Modifier and Type | Field and Description |
---|---|
static DisjunctivePredicateAbstractionDomainElement |
BOTTOM
The bottom element of any predicate abstraction lattice.
|
static DisjunctivePredicateAbstractionDomainElement |
TOP
The top element of any predicate abstraction lattice.
|
Modifier | Constructor and Description |
---|---|
private |
DisjunctivePredicateAbstractionDomainElement(boolean isTopElem)
Constructs a new
DisjunctivePredicateAbstractionDomainElement
that is a top element if isTopElem is set to true; otherwise, it is a
bottom element. |
|
DisjunctivePredicateAbstractionDomainElement(ImmutableSet<AbstractionPredicate> predicates)
Constructs a new
DisjunctivePredicateAbstractionDomainElement
from a given list of abstraction predicates. |
Modifier and Type | Method and Description |
---|---|
protected Term |
combinePredicates(Term preds,
Term newPred,
Services services)
Combines the given predicate terms (classically using AND or OR).
|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getPredicateNameCombinationString()
NOTE: This method should be defined in accordance with
AbstractPredicateAbstractionLattice.getPredicateNameCombinationString()
. |
int |
hashCode() |
getDefiningAxiom, getPredicates, isTopElem, name, setPredicates, toParseableString, toString
public static final DisjunctivePredicateAbstractionDomainElement BOTTOM
public static final DisjunctivePredicateAbstractionDomainElement TOP
public DisjunctivePredicateAbstractionDomainElement(ImmutableSet<AbstractionPredicate> predicates)
DisjunctivePredicateAbstractionDomainElement
from a given list of abstraction predicates.private DisjunctivePredicateAbstractionDomainElement(boolean isTopElem)
DisjunctivePredicateAbstractionDomainElement
that is a top element if isTopElem is set to true; otherwise, it is a
bottom element.protected Term combinePredicates(Term preds, Term newPred, Services services)
AbstractPredicateAbstractionDomainElement
combinePredicates
in class AbstractPredicateAbstractionDomainElement
preds
- Term with all previous predicates.newPred
- The new predicate to combine preds with.services
- The services object.public java.lang.String getPredicateNameCombinationString()
AbstractPredicateAbstractionDomainElement
AbstractPredicateAbstractionLattice.getPredicateNameCombinationString()
. This is probably bad design, but a substitute of the Java shortcoming
that there are no abstract static methods.getPredicateNameCombinationString
in class AbstractPredicateAbstractionDomainElement
public boolean equals(java.lang.Object obj)
equals
in class AbstractPredicateAbstractionDomainElement
public int hashCode()
hashCode
in class AbstractPredicateAbstractionDomainElement