de.uka.ilkd.key.axiom_abstraction.predicateabstraction
Classes
AbstractionPredicate
AbstractPredicateAbstractionDomainElement
AbstractPredicateAbstractionLattice
ConjunctivePredicateAbstractionDomainElement
ConjunctivePredicateAbstractionLattice
DisjunctivePredicateAbstractionDomainElement
DisjunctivePredicateAbstractionLattice
SimplePredicateAbstractionDomainElement
SimplePredicateAbstractionLattice