edu.toronto.cs.algebra
Class IntAlgebraWrapper
java.lang.Object
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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
IntAlgebraWrapper
public IntAlgebraWrapper(IAlgebra _algebra)
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()