Modifier and Type | Class and Description |
---|---|
class |
AbstractDomainLattice
An abstract domain is a countable lattice with a partial order relation and a
join operator.
|
Modifier and Type | Class and Description |
---|---|
class |
BooleanLattice
A simple lattice for booleans.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractPredicateAbstractionLattice
A super class for predicates abstraction lattices.
|
class |
ConjunctivePredicateAbstractionLattice
A lattice for all predicates accepting the given sort.
|
class |
DisjunctivePredicateAbstractionLattice
A lattice for all predicates accepting the given sort.
|
class |
SimplePredicateAbstractionLattice
A lattice for all predicates accepting the given sort.
|
Modifier and Type | Class and Description |
---|---|
class |
SignAnalysisLattice
A lattice for sign analysis of integers.
|
Copyright © 2003-2019 The KeY-Project.