edu.toronto.cs.algebra
Class AlgebraValue
java.lang.Object
edu.toronto.cs.algebra.AlgebraValue
- Direct Known Subclasses:
- MvSetCrossProductAlgebra.CrossProductValue, MvSetUpsetAlgebra.MvSetUpsetValue
public class AlgebraValue
- extends java.lang.Object
A lattice value
Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
AlgebraValue
public AlgebraValue(IAlgebra _parentAlgebra,
java.lang.String _name,
int _id)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
getId
public int getId()
getName
public java.lang.String getName()
setName
public void setName(java.lang.String v)
getParentAlgebra
public IAlgebra getParentAlgebra()
setId
public void setId(int v)
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
equals
public boolean equals(AlgebraValue v)
meet
public AlgebraValue meet(AlgebraValue v)
join
public AlgebraValue join(AlgebraValue v)
neg
public AlgebraValue neg()
impl
public AlgebraValue impl(AlgebraValue v)
eq
public AlgebraValue eq(AlgebraValue v)
leq
public AlgebraValue leq(AlgebraValue v)
geq
public AlgebraValue geq(AlgebraValue v)
isTop
public boolean isTop()
isBot
public boolean isBot()
isNoValue
public boolean isNoValue()
joinDecomposition
public AlgebraValue[] joinDecomposition()
newVector
public static AlgebraValue[] newVector(IAlgebra pa,
int l)
renameArgs
public static AlgebraValue[] renameArgs(AlgebraValue[] v,
int[] rmap)
delta
public static AlgebraValue[] delta(AlgebraValue[] x,
AlgebraValue[] y)
toString
public static java.lang.String toString(AlgebraValue[][] vecs)
toString
public static java.lang.String toString(AlgebraValue[] vec)