de.uka.ilkd.key.axiom_abstraction

Interfaces

• PartialComparator

Classes

• AbstractDomainElement
• AbstractDomainLattice

Enums

• PartialComparator.PartialComparisonResult