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

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

Enclosing class:

FmvAutomaton

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

Field Summary

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

Constructor Summary

private

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

FmvAutomaton.VariableTransitionInfo

private FmvAutomaton.VariableTransitionInfo()