edu.toronto.cs.tlq
Class MvSetUpsetAlgebra.MvSetUpsetValue

java.lang.Object
  extended by edu.toronto.cs.algebra.AlgebraValue
      extended by edu.toronto.cs.tlq.MvSetUpsetAlgebra.MvSetUpsetValue
Enclosing class:
MvSetUpsetAlgebra

public class MvSetUpsetAlgebra.MvSetUpsetValue
extends AlgebraValue

A single element of MvSetUpsetAlgebra


Constructor Summary
MvSetUpsetAlgebra.MvSetUpsetValue(MvSetUpsetAlgebra parentAlgebra)
           
MvSetUpsetAlgebra.MvSetUpsetValue(MvSetUpsetAlgebra parentAlgebra, java.lang.String name, int id, MinUpSet _values)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 MinUpSet getValues()
           
 int hashCode()
           
protected  void setValues(MinUpSet v)
           
 java.lang.String toString()
           
 
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
 

Constructor Detail

MvSetUpsetAlgebra.MvSetUpsetValue

public MvSetUpsetAlgebra.MvSetUpsetValue(MvSetUpsetAlgebra parentAlgebra,
                                         java.lang.String name,
                                         int id,
                                         MinUpSet _values)

MvSetUpsetAlgebra.MvSetUpsetValue

public MvSetUpsetAlgebra.MvSetUpsetValue(MvSetUpsetAlgebra parentAlgebra)
Method Detail

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