edu.toronto.cs.boolpg.abstraction
Class Ladder
java.lang.Object
edu.toronto.cs.boolpg.abstraction.Ladder
public class Ladder
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pred
public java.util.List pred
truePred
public java.util.List truePred
falsePred
public java.util.List falsePred
nTruePred
public java.util.List nTruePred
nFalsePred
public java.util.List nFalsePred
Ladder
public Ladder()
sCompute
public static void sCompute(ValidityChecker vc,
java.util.List predicates,
java.util.Map m,
Ladder l)
getAbstraction
public Expr[] getAbstraction(int i,
ValidityChecker vc)
preSmartCompute
public static void preSmartCompute(ValidityChecker vc,
Expr predicate,
java.util.Map m,
java.util.List predicates,
Ladder l,
int p)