com.veromodo.tempo.ast
Class ASTSimulation

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

public class ASTSimulation
extends ASTRoot
implements HasImports


Constructor Summary
ASTSimulation(ASTComponentDef f, ASTComponentDef t, ASTListFormula p, ASTListVocabRef i, ASTSimProof sp)
           
 
Method Summary
 void addImport(ASTVocabRef vr)
           
 ASTComponentDef getFrom()
           
 ASTListVocabRef getImplicitImports()
           
 ASTListVocabRef getImports()
           
 ASTListFormula getPreds()
           
 ASTSimProof getProof()
           
 ASTComponentDef getTo()
           
 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
 

Constructor Detail

ASTSimulation

public ASTSimulation(ASTComponentDef f,
                     ASTComponentDef t,
                     ASTListFormula p,
                     ASTListVocabRef i,
                     ASTSimProof sp)
Method Detail

getFrom

public ASTComponentDef getFrom()

getTo

public ASTComponentDef getTo()

getPreds

public ASTListFormula getPreds()

getImports

public ASTListVocabRef getImports()

getProof

public ASTSimProof getProof()

getImplicitImports

public ASTListVocabRef getImplicitImports()

addImport

public void addImport(ASTVocabRef vr)
Specified by:
addImport in interface HasImports

visit

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

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