edu.toronto.cs.algebra
Interface IAlgebra

All Known Subinterfaces:
DeMorganAlgebra
All Known Implementing Classes:
AbstractTableAlgebra, BelnapAlgebra, DeMorganTableAlgebra, MvSetCrossProductAlgebra, MvSetUpsetAlgebra, TwoValAlgebra, UpSetAlgebra

public interface IAlgebra


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)
           
 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()
           
 

Method Detail

noValue

AlgebraValue noValue()

getValue

AlgebraValue getValue(java.lang.String name)

getValue

AlgebraValue getValue(int id)

meet

AlgebraValue meet(AlgebraValue v1,
                  AlgebraValue v2)

join

AlgebraValue join(AlgebraValue v1,
                  AlgebraValue v2)

neg

AlgebraValue neg(AlgebraValue v)

impl

AlgebraValue impl(AlgebraValue v1,
                  AlgebraValue v2)

top

AlgebraValue top()

bot

AlgebraValue bot()

eq

AlgebraValue eq(AlgebraValue v1,
                AlgebraValue v2)

leq

AlgebraValue leq(AlgebraValue v1,
                 AlgebraValue v2)

geq

AlgebraValue geq(AlgebraValue v1,
                 AlgebraValue v2)

size

int size()

getJoinIrredundant

java.util.Set getJoinIrredundant(java.util.BitSet subset)

getMeetIrredundant

java.util.Set getMeetIrredundant(java.util.BitSet subset)

carrierSetId

IntIterator carrierSetId()
                         throws java.lang.UnsupportedOperationException
Throws:
java.lang.UnsupportedOperationException

carrierSet

java.util.Collection carrierSet()
                                throws java.lang.UnsupportedOperationException
Throws:
java.lang.UnsupportedOperationException

joinDecomposition

AlgebraValue[] joinDecomposition(AlgebraValue v)