gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class SimplifyGreenVisitor

java.lang.Object

za.ac.sun.cs.green.expr.Visitor

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.SimplifyGreenVisitor

public class SimplifyGreenVisitor
extends za.ac.sun.cs.green.expr.Visitor

Field Summary

Fields

Modifier and Type	Field and Description
za.ac.sun.cs.green.expr.Expression	returnExp

Constructor Summary

Constructors

Constructor and Description
SimplifyGreenVisitor()

Method Summary

Modifier and Type	Method and Description
void	postVisit(za.ac.sun.cs.green.expr.Operation operation)

Methods inherited from class za.ac.sun.cs.green.expr.Visitor

postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

returnExp

public za.ac.sun.cs.green.expr.Expression returnExp

Constructor Detail

SimplifyGreenVisitor

public SimplifyGreenVisitor()

Method Detail

postVisit

public void postVisit(za.ac.sun.cs.green.expr.Operation operation)
               throws za.ac.sun.cs.green.expr.VisitorException

Overrides:

postVisit in class za.ac.sun.cs.green.expr.Visitor

Throws:

za.ac.sun.cs.green.expr.VisitorException