edu.toronto.cs.boolpg.abstraction
Class Ladder

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

public class Ladder
extends java.lang.Object


Field Summary
 java.util.List falsePred
           
 java.util.List nFalsePred
           
 java.util.List nTruePred
           
 java.util.List pred
           
 java.util.List truePred
           
 
Constructor Summary
Ladder()
           
 
Method Summary
 Expr[] getAbstraction(int i, ValidityChecker vc)
           
static void preSmartCompute(ValidityChecker vc, Expr predicate, java.util.Map m, java.util.List predicates, Ladder l, int p)
           
static void sCompute(ValidityChecker vc, java.util.List predicates, java.util.Map m, Ladder l)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

Ladder

public Ladder()
Method Detail

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)