com.veromodo.tempo.ast
Class ASTTrajectory

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTTrajectory
All Implemented Interfaces:
Locatable, Resource

public class ASTTrajectory
extends ASTNode
implements Resource


Constructor Summary
ASTTrajectory(ASTIdentifier n, ASTListDeclFuns funs, ASTListFormula invs, ASTExpr stop, ASTListFormula ev)
           
 
Method Summary
 void addEvolveClause(EvolveClause ec)
           
 ASTListDeclFuns getDeclFuns()
           
 ASTListFormula getEvolve()
           
 java.util.Vector<EvolveClause> getEvolveClauses()
           
 ASTIdentifier getId()
           
 ASTListFormula getInvariants()
           
 java.lang.String getName()
           
 ASTExpr getStop()
           
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTNode
getExtent, setExtent
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface com.veromodo.tempo.util.Resource
getExtent
 

Constructor Detail

ASTTrajectory

public ASTTrajectory(ASTIdentifier n,
                     ASTListDeclFuns funs,
                     ASTListFormula invs,
                     ASTExpr stop,
                     ASTListFormula ev)
Method Detail

getName

public java.lang.String getName()
Specified by:
getName in interface Resource

addEvolveClause

public void addEvolveClause(EvolveClause ec)

getId

public ASTIdentifier getId()

getDeclFuns

public ASTListDeclFuns getDeclFuns()

getInvariants

public ASTListFormula getInvariants()

getStop

public ASTExpr getStop()

getEvolve

public ASTListFormula getEvolve()

getEvolveClauses

public java.util.Vector<EvolveClause> getEvolveClauses()

visit

public void visit(ASTIVisitor v)
Description copied from class: ASTNode
Abstract method to traverse the AST via a visitor.

Specified by:
visit in class ASTNode
Parameters:
v - the visitor interface
See Also:
ASTIVisitor