edu.toronto.cs.boolpg.abstraction
Class SmartCompute

java.lang.Object
  extended by edu.toronto.cs.boolpg.abstraction.SmartCompute

public class SmartCompute
extends java.lang.Object


Constructor Summary
SmartCompute()
           
 
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
 

Constructor Detail

SmartCompute

public SmartCompute()
Method Detail

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 value
e2 - an Expr value
vc - 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 value
predicate - an Expr value
l - a Ladder value
m - a Map value
p - an int value