edu.toronto.cs.algebra
Class IntAlgebraWrapper

java.lang.Object
  extended by edu.toronto.cs.algebra.IntAlgebraWrapper
Direct Known Subclasses:
IntBelnapAlgebraWrapper

public class IntAlgebraWrapper
extends java.lang.Object

Provides an int based wrapper methods to IAlgebra so that it can be used with C programs.


Constructor Summary
IntAlgebraWrapper(IAlgebra _algebra)
           
 
Method Summary
 int bot()
           
 int eq(int v1, int v2)
           
 int geq(int v1, int v2)
           
 IAlgebra getAlgebra()
           
 int impl(int v1, int v2)
           
 int infoJoin(int v1, int v2)
           
 int infoMeet(int v1, int v2)
           
 int infoNeg(int v1)
           
 int join(int v1, int v2)
           
 int leq(int v1, int v2)
           
 int meet(int v1, int v2)
           
 int neg(int v1)
           
 int noValue()
           
 int top()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IntAlgebraWrapper

public IntAlgebraWrapper(IAlgebra _algebra)
Method Detail

meet

public int meet(int v1,
                int v2)

join

public int join(int v1,
                int v2)

neg

public int neg(int v1)

infoMeet

public int infoMeet(int v1,
                    int v2)

infoJoin

public int infoJoin(int v1,
                    int v2)

infoNeg

public int infoNeg(int v1)

impl

public int impl(int v1,
                int v2)

eq

public int eq(int v1,
              int v2)

leq

public int leq(int v1,
               int v2)

geq

public int geq(int v1,
               int v2)

top

public int top()

bot

public int bot()

noValue

public int noValue()

getAlgebra

public IAlgebra getAlgebra()