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

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

public class SimplTheory
extends SimplDeclaration

Field Summary

static java.lang.String	imports
java.lang.String	name
SimplProofObligation[]	pos
SimplDefinition	sizeDefinition
SimplHoareState	state

Constructor Summary

SimplTheory()

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

public java.lang.String name

imports

public static final java.lang.String imports

See Also:

Constant Field Values

state

public SimplHoareState state

sizeDefinition

public SimplDefinition sizeDefinition

pos

public SimplProofObligation[] pos

Constructor Detail

SimplTheory

public SimplTheory()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object