|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| BooleanAlgebra | This interface defines a boolean algebra. |
| BooleanAlgebra.Member | This interface defines a member of a boolean algebra. |
| JoinSemiLattice | This interface defines a join (or ∨) semilattice. |
| JoinSemiLattice.Member | This interface defines a member of a join semilattice. |
| Lattice | This interface defines a (ordered) lattice. |
| Lattice.Member | This interface defines a member of a join semilattice. |
| MeetSemiLattice | This interface defines a meet (or ∧) semilattice. |
| MeetSemiLattice.Member | This interface defines a member of a meet lattice. |
| Class Summary | |
|---|---|
| BooleanLogic | The BooleanLattice class encapsulates the tradionnal boolean algebra. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||