de.uka.ilkd.key.axiom_abstraction.predicateabstraction

Classes

• AbstractionPredicate
• AbstractPredicateAbstractionDomainElement
• AbstractPredicateAbstractionLattice
• ConjunctivePredicateAbstractionDomainElement
• ConjunctivePredicateAbstractionLattice
• DisjunctivePredicateAbstractionDomainElement
• DisjunctivePredicateAbstractionLattice
• SimplePredicateAbstractionDomainElement
• SimplePredicateAbstractionLattice