edu.toronto.cs.algebra
Class IntBelnapAlgebraWrapper

java.lang.Object
  extended by edu.toronto.cs.algebra.IntAlgebraWrapper
      extended by edu.toronto.cs.algebra.IntBelnapAlgebraWrapper

public class IntBelnapAlgebraWrapper
extends IntAlgebraWrapper

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


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

Constructor Detail

IntBelnapAlgebraWrapper

public IntBelnapAlgebraWrapper(BelnapAlgebra _algebra)
Method Detail

infoMeet

public int infoMeet(int v1,
                    int v2)
Overrides:
infoMeet in class IntAlgebraWrapper

infoJoin

public int infoJoin(int v1,
                    int v2)
Overrides:
infoJoin in class IntAlgebraWrapper

infoNeg

public int infoNeg(int v1)
Overrides:
infoNeg in class IntAlgebraWrapper