com.veromodo.tempo.ast
Class ASTSimProofEntry

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTSimProofEntry
All Implemented Interfaces:
Locatable
Direct Known Subclasses:
ASTTrajEntry, ASTTransEntry

public class ASTSimProofEntry
extends ASTNode

This class should not be instantiated.

See Also:
ASTIVisitor.applyASTSimProofEntry(ASTSimProofEntry)

Constructor Summary
ASTSimProofEntry()
           
 
Method Summary
 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

ASTSimProofEntry

public ASTSimProofEntry()
Method Detail

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