Uses of Class
edu.toronto.cs.algebra.BelnapAlgebra

Packages that use BelnapAlgebra
edu.toronto.cs.algebra   
edu.toronto.cs.mdd   
 

Uses of BelnapAlgebra in edu.toronto.cs.algebra
 

Constructors in edu.toronto.cs.algebra with parameters of type BelnapAlgebra
IntBelnapAlgebraWrapper(BelnapAlgebra _algebra)
           
 

Uses of BelnapAlgebra in edu.toronto.cs.mdd
 

Constructors in edu.toronto.cs.mdd with parameters of type BelnapAlgebra
ApplyFunctions.BelnapFunction(MDDManager mddMgr, BelnapAlgebra _algebra)
           
ApplyFunctions.InfoJoinFunction(MDDManager mddMgr, BelnapAlgebra algebra)
           
ApplyFunctions.InfoMeetFunction(MDDManager mddMgr, BelnapAlgebra algebra)