edu.toronto.cs.algebra
Class TwoValAlgebra

java.lang.Object
  extended by edu.toronto.cs.algebra.TwoValAlgebra
All Implemented Interfaces:
DeMorganAlgebra, IAlgebra

public class TwoValAlgebra
extends java.lang.Object
implements DeMorganAlgebra


Constructor Summary
TwoValAlgebra()
           
 
Method Summary
 AlgebraValue bot()
           
 java.util.Collection carrierSet()
           
 IntIterator carrierSetId()
           
 AlgebraValue eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue geq(AlgebraValue v1, AlgebraValue v2)
           
 java.util.Set getJoinIrredundant(java.util.BitSet subset)
           
 java.util.Set getMeetIrredundant(java.util.BitSet subset)
           
 AlgebraValue getValue(int id)
           
 AlgebraValue getValue(java.lang.String name)
          IAlgebra interface
 AlgebraValue impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue join(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue[] joinDecomposition(AlgebraValue v)
           
 AlgebraValue leq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue meet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue neg(AlgebraValue v)
           
 AlgebraValue noValue()
           
 int size()
           
 AlgebraValue top()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TwoValAlgebra

public TwoValAlgebra()
Method Detail

noValue

public AlgebraValue noValue()
Specified by:
noValue in interface IAlgebra

getValue

public AlgebraValue getValue(java.lang.String name)
IAlgebra interface

Specified by:
getValue in interface IAlgebra

getValue

public AlgebraValue getValue(int id)
Specified by:
getValue in interface IAlgebra

meet

public AlgebraValue meet(AlgebraValue v1,
                         AlgebraValue v2)
Specified by:
meet in interface IAlgebra

join

public AlgebraValue join(AlgebraValue v1,
                         AlgebraValue v2)
Specified by:
join in interface IAlgebra

neg

public AlgebraValue neg(AlgebraValue v)
Specified by:
neg in interface IAlgebra

impl

public AlgebraValue impl(AlgebraValue v1,
                         AlgebraValue v2)
Specified by:
impl in interface IAlgebra

top

public AlgebraValue top()
Specified by:
top in interface IAlgebra

bot

public AlgebraValue bot()
Specified by:
bot in interface IAlgebra

eq

public AlgebraValue eq(AlgebraValue v1,
                       AlgebraValue v2)
Specified by:
eq in interface IAlgebra

leq

public AlgebraValue leq(AlgebraValue v1,
                        AlgebraValue v2)
Specified by:
leq in interface IAlgebra

geq

public AlgebraValue geq(AlgebraValue v1,
                        AlgebraValue v2)
Specified by:
geq in interface IAlgebra

size

public int size()
Specified by:
size in interface IAlgebra

carrierSetId

public IntIterator carrierSetId()
                         throws java.lang.UnsupportedOperationException
Specified by:
carrierSetId in interface IAlgebra
Throws:
java.lang.UnsupportedOperationException

carrierSet

public java.util.Collection carrierSet()
                                throws java.lang.UnsupportedOperationException
Specified by:
carrierSet in interface IAlgebra
Throws:
java.lang.UnsupportedOperationException

getJoinIrredundant

public java.util.Set getJoinIrredundant(java.util.BitSet subset)
Specified by:
getJoinIrredundant in interface IAlgebra

getMeetIrredundant

public java.util.Set getMeetIrredundant(java.util.BitSet subset)
Specified by:
getMeetIrredundant in interface IAlgebra

joinDecomposition

public AlgebraValue[] joinDecomposition(AlgebraValue v)
Specified by:
joinDecomposition in interface IAlgebra