|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |