Class and Description |
---|
AbstractDomainElement
An element of an abstract domain.
|
PartialComparator
A comparison function, which imposes a partial ordering on some
collection of objects.
|
PartialComparator.PartialComparisonResult
Possible results of the comparison.
|
Class and Description |
---|
AbstractDomainElement
An element of an abstract domain.
|
AbstractDomainLattice
An abstract domain is a countable lattice with a partial order relation and a
join operator.
|
PartialComparator
A comparison function, which imposes a partial ordering on some
collection of objects.
|
Class and Description |
---|
AbstractDomainElement
An element of an abstract domain.
|
AbstractDomainLattice
An abstract domain is a countable lattice with a partial order relation and a
join operator.
|
PartialComparator
A comparison function, which imposes a partial ordering on some
collection of objects.
|
Class and Description |
---|
AbstractDomainElement
An element of an abstract domain.
|
AbstractDomainLattice
An abstract domain is a countable lattice with a partial order relation and a
join operator.
|
PartialComparator
A comparison function, which imposes a partial ordering on some
collection of objects.
|
Class and Description |
---|
AbstractDomainElement
An element of an abstract domain.
|
AbstractDomainLattice
An abstract domain is a countable lattice with a partial order relation and a
join operator.
|
Copyright © 2003-2019 The KeY-Project.