org.jmlspecs.jml4.fspv.simpl.ast
Class SimplTheoryNode

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode

Direct Known Subclasses:

SimplDeclaration, SimplHoareTriplet, SimplState, SimplStatement, SimplType, SimplVariable

public class SimplTheoryNode
extends java.lang.Object

Constructor Summary

SimplTheoryNode()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplTheoryNode

public SimplTheoryNode()