Methods in edu.toronto.cs.boolpg.abstraction with parameters of type Ladder |
static void |
Ladder.preSmartCompute(ValidityChecker vc,
Expr predicate,
java.util.Map m,
java.util.List predicates,
Ladder l,
int p)
|
static void |
Ladder.sCompute(ValidityChecker vc,
java.util.List predicates,
java.util.Map m,
Ladder l)
|
static void |
SmartCompute.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 |