ptolemy.domains.modal.kernel.fmv
Class FmvAutomaton.VariableInfo

java.lang.Object
  ptolemy.domains.modal.kernel.fmv.FmvAutomaton.VariableInfo

Enclosing class:

FmvAutomaton

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

Field Summary

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

Constructor Summary

private

FmvAutomaton.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

FmvAutomaton.VariableInfo

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