ptolemy.verification.kernel
Class SMVUtility.VariableTransitionInfo

java.lang.Object
  ptolemy.verification.kernel.SMVUtility.VariableTransitionInfo

Enclosing class:

SMVUtility

private static class SMVUtility.VariableTransitionInfo
extends java.lang.Object

Field Summary

private java.lang.String	_preCondition
private java.lang.String	_varibleNewValue

Constructor Summary

private

SMVUtility.VariableTransitionInfo()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

_preCondition

private java.lang.String _preCondition

_varibleNewValue

private java.lang.String _varibleNewValue

Constructor Detail

SMVUtility.VariableTransitionInfo

private SMVUtility.VariableTransitionInfo()