---

Expr Class Reference

Inheritance diagram for Expr:[legend]Collaboration diagram for Expr:[legend]List of all members.

Public Methods
Type	getType ()
	Expr ()
	Expr (Expr e)
SubExpr	parse (String e)
Private Methods
void	backtrack (JPF jpf, int id)
boolean	evaluate (JPF jpf, int id)
void	execute (JPF jpf, int id)
void	grow ()
SubExpr	id (SubExpr e)
SubExpr	parseAnd (String e)
SubExpr	parseNot (String e)
SubExpr	parseOr (String e)
SubExpr	parseTerm (String e)
int	put (SubExpr e)
String	toString (int id)
Static Private Methods
String[]	tokenize (String s, String d)
Private Attributes
SubExpr[]	terms

---

Detailed Description

An expression value.

Definition at line 5 of file lib/jpf/gov/nasa/arc/ase/jpf/expr/Expr.java.

---

The documentation for this class was generated from the following files:

• lib/jpf/gov/nasa/arc/ase/jpf/expr/Expr.java
• src/gov/nasa/arc/ase/jpf/expr/Expr.java
• src/edu/ksu/cis/bandera/bir/Expr.java

---