Uses of Class
edu.toronto.cs.tlq.MvSetUpsetAlgebra.MvSetUpsetValue

Packages that use MvSetUpsetAlgebra.MvSetUpsetValue
edu.toronto.cs.tlq Classes used by TLQSolver extension of XChek 
 

Uses of MvSetUpsetAlgebra.MvSetUpsetValue in edu.toronto.cs.tlq
 

Methods in edu.toronto.cs.tlq that return MvSetUpsetAlgebra.MvSetUpsetValue
 MvSetUpsetAlgebra.MvSetUpsetValue MvSetUpsetAlgebra.getJoinIrreducible(int i, MvSet mvSet)
          Convinience method to produce an join irreducible element of this algebra without creating a cross-product element first.
 MvSetUpsetAlgebra.MvSetUpsetValue MvSetUpsetAlgebra.getJoinIrreducible(MvSetCrossProductAlgebra.CrossProductValue v)
          Returns a join irreducible element of this algebra which is equivalent to upset (v)