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

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

Direct Known Subclasses:

SimplDefinition, SimplLemma, SimplProcedure, SimplProofObligation, SimplTheory

public class SimplDeclaration
extends SimplTheoryNode

Constructor Summary

SimplDeclaration()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplDeclaration

public SimplDeclaration()