com.veromodo.tempo.ast
Class ASTForwardSim

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTRoot
          extended by com.veromodo.tempo.ast.ASTSimulation
              extended by com.veromodo.tempo.ast.ASTForwardSim
All Implemented Interfaces:
HasImports, Locatable

public class ASTForwardSim
extends ASTSimulation


Constructor Summary
ASTForwardSim(ASTComponentDef f, ASTComponentDef t, ASTListFormula p, ASTListVocabRef i, ASTSimProof proof)
           
 
Method Summary
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTSimulation
addImport, getFrom, getImplicitImports, getImports, getPreds, getProof, getTo
 
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
 

Constructor Detail

ASTForwardSim

public ASTForwardSim(ASTComponentDef f,
                     ASTComponentDef t,
                     ASTListFormula p,
                     ASTListVocabRef i,
                     ASTSimProof proof)
Method Detail

visit

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

Overrides:
visit in class ASTSimulation
Parameters:
v - the visitor interface
See Also:
ASTIVisitor