|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.sp.SPVC
Field Summary | |
private java.util.Hashtable |
cache
|
private Set |
cacheHit
|
private static int |
predNum
|
private DefPredVec |
preds
|
Constructor Summary | |
SPVC()
|
Method Summary | |
private NXW |
calcNxw(GuardedCmd g)
|
static Expr |
compute(GuardedCmd g)
|
static Expr |
computeN(GuardedCmd g)
|
private Expr |
computeNotWrong(GuardedCmd root)
|
static boolean |
isSimpleConjunction(Expr e)
|
private static boolean |
isSimpleExpr(Expr e)
|
private Expr |
name(Expr e)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private java.util.Hashtable cache
private Set cacheHit
private DefPredVec preds
private static int predNum
Constructor Detail |
public SPVC()
Method Detail |
public static Expr compute(GuardedCmd g)
private Expr name(Expr e)
private Expr computeNotWrong(GuardedCmd root)
public static Expr computeN(GuardedCmd g)
private NXW calcNxw(GuardedCmd g)
public static boolean isSimpleConjunction(Expr e)
private static boolean isSimpleExpr(Expr e)
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |