ptolemy.verification.kernel
Class REDUtility.REDTransitionBean

java.lang.Object
  ptolemy.verification.kernel.REDUtility.REDTransitionBean

Enclosing class:

REDUtility

private static class REDUtility.REDTransitionBean
extends java.lang.Object

Field Summary

private java.util.ArrayList<java.lang.String>	_complementedCondition
private boolean	_isComplementaryEdge
private java.lang.StringBuffer	_newState
private java.lang.StringBuffer	_postCondition
private java.lang.StringBuffer	_preCondition
private java.lang.StringBuffer	_signal
private java.util.HashSet<java.lang.String>	_signalSet

Constructor Summary

private

REDUtility.REDTransitionBean()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

_signal

private java.lang.StringBuffer _signal

_preCondition

private java.lang.StringBuffer _preCondition

_postCondition

private java.lang.StringBuffer _postCondition

_newState

private java.lang.StringBuffer _newState

_isComplementaryEdge

private boolean _isComplementaryEdge

_signalSet

private java.util.HashSet<java.lang.String> _signalSet

_complementedCondition

private java.util.ArrayList<java.lang.String> _complementedCondition

Constructor Detail

REDUtility.REDTransitionBean

private REDUtility.REDTransitionBean()