Uses of Interface
edu.toronto.cs.algebra.DeMorganAlgebra

Packages that use DeMorganAlgebra
edu.toronto.cs.algebra De Morgan algebra library. 
edu.toronto.cs.tlq Classes used by TLQSolver extension of XChek 
 

Uses of DeMorganAlgebra in edu.toronto.cs.algebra
 

Classes in edu.toronto.cs.algebra that implement DeMorganAlgebra
 class DeMorganTableAlgebra
           
 class TwoValAlgebra
           
 

Uses of DeMorganAlgebra in edu.toronto.cs.tlq
 

Classes in edu.toronto.cs.tlq that implement DeMorganAlgebra
 class MvSetCrossProductAlgebra
           
 class UpSetAlgebra
          class UpSetAlgebra represents a large lattice of upsets Each element is encoded as an ordered list of integers, each integer corresponding to a minimal element of some lattice.