edu.toronto.cs.algebra
Class BelnapAlgebra

java.lang.Object
  extended by edu.toronto.cs.algebra.BelnapAlgebra
All Implemented Interfaces:
IAlgebra

public class BelnapAlgebra
extends java.lang.Object
implements IAlgebra


Constructor Summary
BelnapAlgebra()
           
 
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 infoBot()
           
 AlgebraValue infoJoin(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue infoMeet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue infoNeg(AlgebraValue v1)
           
 AlgebraValue infoTop()
           
 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

BelnapAlgebra

public BelnapAlgebra()
Method Detail

noValue

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

getValue

public AlgebraValue getValue(java.lang.String name)
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

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

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

joinDecomposition

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

infoTop

public AlgebraValue infoTop()

infoBot

public AlgebraValue infoBot()

infoMeet

public AlgebraValue infoMeet(AlgebraValue v1,
                             AlgebraValue v2)

infoJoin

public AlgebraValue infoJoin(AlgebraValue v1,
                             AlgebraValue v2)

infoNeg

public AlgebraValue infoNeg(AlgebraValue v1)