de.uka.ilkd.key.axiom_abstraction.boollattice

Classes

• BooleanDomainElem
• BooleanLattice
• Bottom
• False
• Top
• True