ptolemy.verification.kernel
Class SMVUtility.VariableInfo

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

Enclosing class:

SMVUtility

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

Field Summary

private java.lang.String	_maxValue
private java.lang.String	_minValue

Constructor Summary

private

SMVUtility.VariableInfo(java.lang.String paraMax, java.lang.String paraMin)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

_maxValue

private java.lang.String _maxValue

_minValue

private java.lang.String _minValue

Constructor Detail

SMVUtility.VariableInfo

private SMVUtility.VariableInfo(java.lang.String paraMax,
                                java.lang.String paraMin)