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

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

Uses of MinUpSet in edu.toronto.cs.algebra
 

Methods in edu.toronto.cs.algebra with parameters of type MinUpSet
 void MinUpSet.addAll(MinUpSet set)
          Adds all elements of set to this set
 boolean MinUpSet.isSubSet(MinUpSet set)
          true if every element of set is an element of this set.
 

Uses of MinUpSet in edu.toronto.cs.tlq
 

Methods in edu.toronto.cs.tlq that return MinUpSet
 MinUpSet MvSetUpsetAlgebra.MvSetUpsetValue.getValues()
           
 

Methods in edu.toronto.cs.tlq with parameters of type MinUpSet
protected  void MvSetUpsetAlgebra.MvSetUpsetValue.setValues(MinUpSet v)
           
 

Constructors in edu.toronto.cs.tlq with parameters of type MinUpSet
MvSetUpsetAlgebra.MvSetUpsetValue(MvSetUpsetAlgebra parentAlgebra, java.lang.String name, int id, MinUpSet _values)