public abstract class AbstractPredicateAbstractionLattice extends AbstractDomainLattice
Modifier and Type | Class and Description |
---|---|
protected class |
AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator
An abstract iterator which basically only sets up the bit sets used for
building up complex iterators.
|
PartialComparator.PartialComparisonResult
Constructor and Description |
---|
AbstractPredicateAbstractionLattice() |
Modifier and Type | Method and Description |
---|---|
protected abstract AbstractPredicateAbstractionDomainElement |
getBottomElem() |
abstract java.lang.String |
getPredicateNameCombinationString() |
protected abstract AbstractPredicateAbstractionDomainElement |
getTopElem() |
protected AbstractPredicateAbstractionDomainElement |
join(AbstractDomainElement a,
AbstractDomainElement b,
java.util.function.BiFunction<ImmutableSet<AbstractionPredicate>,ImmutableSet<AbstractionPredicate>,ImmutableSet<AbstractionPredicate>> combiner,
java.util.function.Function<ImmutableSet<AbstractionPredicate>,AbstractPredicateAbstractionDomainElement> abstrElemConstructor)
Joins to abstract elements in the lattice.
|
abstractFrom, compare, fromString, getSideConditionForAxiom, iterator, join
protected AbstractPredicateAbstractionDomainElement join(AbstractDomainElement a, AbstractDomainElement b, java.util.function.BiFunction<ImmutableSet<AbstractionPredicate>,ImmutableSet<AbstractionPredicate>,ImmutableSet<AbstractionPredicate>> combiner, java.util.function.Function<ImmutableSet<AbstractionPredicate>,AbstractPredicateAbstractionDomainElement> abstrElemConstructor)
a
- First domain element for the join.b
- Second domain element for the join.combiner
- The combination function (e.g., "AND") for the respective
predicates of the inputs..abstrElemConstructor
- A function constructing abstract domain elements from
predicates.protected abstract AbstractPredicateAbstractionDomainElement getTopElem()
protected abstract AbstractPredicateAbstractionDomainElement getBottomElem()
public abstract java.lang.String getPredicateNameCombinationString()