edu.toronto.cs.boolpg.abstraction
Class SmartCompute
java.lang.Object
edu.toronto.cs.boolpg.abstraction.SmartCompute
public class SmartCompute
- extends java.lang.Object
Method Summary |
static boolean |
implies(Expr e,
Expr e2,
ValidityChecker vc)
Just a helper's method of findeing whether
Expr1 implies Expr2 |
static void |
setWorkingPred(Expr e)
for a new target predicate, all the conditions
of the old predicates have to be changed. |
static void |
smartCompute(ValidityChecker vc,
Expr predicate,
Ladder l,
java.util.Map m,
int p)
This is the main method to call to compute the truePred
falsePred, nTruePred, nFalsePred for the working predicate
given target predicate |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SmartCompute
public SmartCompute()
setWorkingPred
public static void setWorkingPred(Expr e)
- for a new target predicate, all the conditions
of the old predicates have to be changed. This
method call sets the current (old) predicate that
the target predicate is being added to.
- Parameters:
e
- an Expr
value
implies
public static boolean implies(Expr e,
Expr e2,
ValidityChecker vc)
- Just a helper's method of findeing whether
Expr1 implies Expr2
- Parameters:
e
- an Expr
valuee2
- an Expr
valuevc
- a ValidityChecker
value
- Returns:
- a
boolean
value
smartCompute
public static void smartCompute(ValidityChecker vc,
Expr predicate,
Ladder l,
java.util.Map m,
int p)
- This is the main method to call to compute the truePred
falsePred, nTruePred, nFalsePred for the working predicate
given target predicate
- Parameters:
vc
- a ValidityChecker
valuepredicate
- an Expr
valuel
- a Ladder
valuem
- a Map
valuep
- an int
value