protected abstract AbstractPredicateAbstractionDomainElement |
AbstractPredicateAbstractionLattice.getBottomElem() |
protected AbstractPredicateAbstractionDomainElement |
DisjunctivePredicateAbstractionLattice.getBottomElem() |
protected AbstractPredicateAbstractionDomainElement |
ConjunctivePredicateAbstractionLattice.getBottomElem() |
protected AbstractPredicateAbstractionDomainElement |
SimplePredicateAbstractionLattice.getBottomElem() |
protected abstract AbstractPredicateAbstractionDomainElement |
AbstractPredicateAbstractionLattice.getTopElem() |
protected AbstractPredicateAbstractionDomainElement |
DisjunctivePredicateAbstractionLattice.getTopElem() |
protected AbstractPredicateAbstractionDomainElement |
ConjunctivePredicateAbstractionLattice.getTopElem() |
protected AbstractPredicateAbstractionDomainElement |
SimplePredicateAbstractionLattice.getTopElem() |
protected AbstractPredicateAbstractionDomainElement |
AbstractPredicateAbstractionLattice.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.
|