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.
|