Package gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution

Class Summary

Class	Description
ExprSubstitutionVisitor	This is the expression visitor class used during substitution that either returns the value of a variable from a symbol table to returns the expression back if it doesn't make to any entry.
SubstitutionVisitor	The Substitution Transformation is responsible for replacing all vars with their symbolic values if found, as well as the substitution of all constant vars.