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.
|
Constructor and Description |
---|
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.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
Copyright © 2003-2019 The KeY-Project.