edu.toronto.cs.tlq
Class MvSetUpsetAlgebra.MvSetUpsetValue
java.lang.Object
edu.toronto.cs.algebra.AlgebraValue
edu.toronto.cs.tlq.MvSetUpsetAlgebra.MvSetUpsetValue
- Enclosing class:
- MvSetUpsetAlgebra
public class MvSetUpsetAlgebra.MvSetUpsetValue
- extends AlgebraValue
A single element of MvSetUpsetAlgebra
Methods inherited from class edu.toronto.cs.algebra.AlgebraValue |
delta, eq, equals, geq, getId, getName, getParentAlgebra, impl, isBot, isNoValue, isTop, join, joinDecomposition, leq, meet, neg, newVector, renameArgs, setId, setName, toString, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
MvSetUpsetAlgebra.MvSetUpsetValue
public MvSetUpsetAlgebra.MvSetUpsetValue(MvSetUpsetAlgebra parentAlgebra,
java.lang.String name,
int id,
MinUpSet _values)
MvSetUpsetAlgebra.MvSetUpsetValue
public MvSetUpsetAlgebra.MvSetUpsetValue(MvSetUpsetAlgebra parentAlgebra)
getValues
public MinUpSet getValues()
setValues
protected void setValues(MinUpSet v)
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class AlgebraValue
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString
in class AlgebraValue