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

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

Direct Known Subclasses:

SimplHoareState

public class SimplState
extends SimplTheoryNode

Constructor Summary

SimplState()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplState

public SimplState()