| Class | Description |
|---|---|
| AbstractionPredicate |
Interface for predicates used for predicate abstraction.
|
| AbstractPredicateAbstractionDomainElement |
A base class for abstract domain elements in a predicate abstraction lattice.
|
| AbstractPredicateAbstractionLattice |
A super class for predicates abstraction lattices.
|
| ConjunctivePredicateAbstractionDomainElement |
An abstract domain element for a predicate abstraction lattice based on the
conjunction of predicates.
|
| ConjunctivePredicateAbstractionLattice |
A lattice for all predicates accepting the given sort.
|
| DisjunctivePredicateAbstractionDomainElement |
An abstract domain element for a predicate abstraction lattice based on the
disjunction of predicates.
|
| DisjunctivePredicateAbstractionLattice |
A lattice for all predicates accepting the given sort.
|
| SimplePredicateAbstractionDomainElement |
An abstract domain element for a predicate abstraction lattice encapsulating
exactly one abstraction predicate.
|
| SimplePredicateAbstractionLattice |
A lattice for all predicates accepting the given sort.
|