edu.toronto.cs.algebra
Class AlgebraValue

java.lang.Object
  extended by edu.toronto.cs.algebra.AlgebraValue
Direct Known Subclasses:
MvSetCrossProductAlgebra.CrossProductValue, MvSetUpsetAlgebra.MvSetUpsetValue

public class AlgebraValue
extends java.lang.Object

A lattice value


Constructor Summary
AlgebraValue(IAlgebra _parentAlgebra, java.lang.String _name, int _id)
           
 
Method Summary
static AlgebraValue[] delta(AlgebraValue[] x, AlgebraValue[] y)
           
 AlgebraValue eq(AlgebraValue v)
           
 boolean equals(AlgebraValue v)
           
 boolean equals(java.lang.Object o)
           
 AlgebraValue geq(AlgebraValue v)
           
 int getId()
           
 java.lang.String getName()
           
 IAlgebra getParentAlgebra()
           
 AlgebraValue impl(AlgebraValue v)
           
 boolean isBot()
           
 boolean isNoValue()
           
 boolean isTop()
           
 AlgebraValue join(AlgebraValue v)
           
 AlgebraValue[] joinDecomposition()
           
 AlgebraValue leq(AlgebraValue v)
           
 AlgebraValue meet(AlgebraValue v)
           
 AlgebraValue neg()
           
static AlgebraValue[] newVector(IAlgebra pa, int l)
           
static AlgebraValue[] renameArgs(AlgebraValue[] v, int[] rmap)
           
 void setId(int v)
           
 void setName(java.lang.String v)
           
 java.lang.String toString()
           
static java.lang.String toString(AlgebraValue[] vec)
           
static java.lang.String toString(AlgebraValue[][] vecs)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AlgebraValue

public AlgebraValue(IAlgebra _parentAlgebra,
                    java.lang.String _name,
                    int _id)
Method Detail

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)