|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.boolpg.abstraction.StmtAbstraction
public class StmtAbstraction
Computes abstraction H (tPredicate, fPredicate) for a statement
Constructor Summary | |
---|---|
StmtAbstraction()
|
Method Summary | |
---|---|
static Expr[] |
computeH(ValidityChecker vc,
java.util.List predicates,
Expr tPredicate,
java.util.Map varMap)
Computes H (tPredicate, fPredicate) and returns an Expr array |
static void |
main(java.lang.String[] argv)
Testing only |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public StmtAbstraction()
Method Detail |
---|
public static Expr[] computeH(ValidityChecker vc, java.util.List predicates, Expr tPredicate, java.util.Map varMap)
vc
- a ValidityChecker
valuepredicates
- a List
valuetPredicate
- an Expr
valuevarMap
- a Map
value
CVectorExpr
valuepublic static void main(java.lang.String[] argv) throws java.lang.Exception
argv[]
- a String
value
java.lang.Exception
- if an error occurs
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |