Uses of Class
ptolemy.domains.modal.kernel.State

Packages that use State

Package	Description
ptolemy.domains.modal.kernel	The ptolemy.domains.modal.kernel package.
ptolemy.domains.modal.kernel.ia	Support for Interface Automatons.
ptolemy.domains.modal.modal	The ptolemy.domains.modal.modal package.
ptolemy.vergil.basic.layout.kieler	Classes used to layout entities and relations in Vergil that use the KIELER layout algorithm.

Uses of State in ptolemy.domains.modal.kernel

Subclasses of State in ptolemy.domains.modal.kernel

Modifier and Type	Class and Description
class	TransientState A state that is passed through in a firing of the FSM.

Fields in ptolemy.domains.modal.kernel declared as State

Modifier and Type	Field and Description
protected State	FSMActor._currentState Current state.

Fields in ptolemy.domains.modal.kernel with type parameters of type State

Modifier and Type	Field and Description
protected java.util.HashMap<State,Transition>	FSMActor._lastChosenTransitions The last chosen transitions, by state from which these transitions emerge.

Methods in ptolemy.domains.modal.kernel that return State

Modifier and Type	Method and Description
protected State	FSMActor._destinationState() Return the chosen destination state.
State	FSMActor.currentState() Return the current state of this actor.
State	Transition.destinationState() Return the destination state of this transition.
State	FSMActor.getInitialState() Return the initial state of this actor.
State	RefinementActor.getRefinedState() Return the state (or event, which subclasses state) that this actor refines.
State	StateEvent.getState() Return the state to which this event refers.
State	Transition.sourceState() Return the source state of this transition.

Methods in ptolemy.domains.modal.kernel that return types with arguments of type State

Modifier and Type	Method and Description
protected java.util.Map<State,Transition>	FSMDirector._getLastChosenTransition() Return the last chosen transitions.
java.util.Map<State,Transition>	FSMActor.getLastChosenTransitions() Get the last chosen transitions.

Methods in ptolemy.domains.modal.kernel with parameters of type State

Modifier and Type	Method and Description
protected boolean	FSMActor._areAllImmediateTransitionsDisabled(State state) Return true if all immediate transitions from the specified state have guards that can be evaluated and that evaluate to false.
protected void	FSMActor._initializeRefinements(State state) Initialize the refinements of the specified state.
protected boolean	FSMActor._isSafeToClear(IOPort port, int channel, State state, boolean immediateOnly, java.util.HashSet<State> visitedStates) Given an output port and channel, determine whether the output port must be absent on the specified channel, given whatever current information about the inputs is available (the inputs may be known or unknown).
protected void	FSMDirector._setCurrentState(State state) Set the current state of this actor.
void	FSMActor.addChosenTransition(State state, Transition transition) Add a chosen transition to the set of chosen transitions.
void	RefinementActor.addRefinement(State state, java.lang.String name, Entity template, java.lang.String className, InstanceOpener instanceOpener) Create a refinement for the given state.
void	NonStrictFSMDirector.getNonpreemptiveTransitionsReferredInputPorts(State state) Given a state, get a set of input ports referred in the guards of the preemptive transitions leaving that state.
void	NonStrictFSMDirector.getPreemptiveTransitionsReferredInputPorts(State state) Given a state, get a set of input ports referred in the guards of the preemptive transitions leaving that state.
void	NonStrictFSMDirector.getRefinementReferredInputPorts(State state) Given a state, get a set of input ports referred by the refinements of that state.

Method parameters in ptolemy.domains.modal.kernel with type arguments of type State

Modifier and Type	Method and Description
protected boolean	FSMActor._isSafeToClear(IOPort port, int channel, State state, boolean immediateOnly, java.util.HashSet<State> visitedStates) Given an output port and channel, determine whether the output port must be absent on the specified channel, given whatever current information about the inputs is available (the inputs may be known or unknown).

Constructors in ptolemy.domains.modal.kernel with parameters of type State

Constructor and Description
ContainmentExtender(State container, java.lang.String name) Construct a ContainmentExtender attribute with the given name contained by the specified State.
StateEvent(FSMActor source, State state) Construct an event with the specified source and destination state.

Uses of State in ptolemy.domains.modal.kernel.ia

Methods in ptolemy.domains.modal.kernel.ia that return State

Modifier and Type	Method and Description
State	StatePair.first() Return the first state in this pair.
State	StatePair.second() Return the second state in this pair.

Methods in ptolemy.domains.modal.kernel.ia with parameters of type State

Modifier and Type	Method and Description
java.util.Set	InterfaceAutomaton.epsilonClosure(State state) Return the epsilon-closure of the specified state.
java.util.Set	InterfaceAutomaton.externallyEnabledDestinations(State sourceState, java.lang.String transitionLabel) Return the set of externally enabled destination states.
java.util.Set	InterfaceAutomaton.externallyEnabledInputTransitionLabels(State state) Return the labels for the set of externally enabled input transitions for the specified state.
java.util.Set	InterfaceAutomaton.externallyEnabledOutputTransitionLabels(State state) Return the labels for the set of externally enabled output transitions for the specified state.

Constructors in ptolemy.domains.modal.kernel.ia with parameters of type State

Constructor and Description
StatePair(State first, State second) Construct an instance with the specified states.

Uses of State in ptolemy.domains.modal.modal

Fields in ptolemy.domains.modal.modal declared as State

Modifier and Type	Field and Description
protected State	Case._state Deprecated. The one and only state.

Methods in ptolemy.domains.modal.modal that return State

Modifier and Type	Method and Description
State	ModalRefinement.getRefinedState() Get the state in any ModalRefinement within this ModalModel that has this ModalRefinement as its refinement, if any.
State	Refinement.getRefinedState() Get the state in any ModalController within this ModalModel that has this refinement as its refinement, if any.
State	ModalController.getRefinedState() Get the state in any ModalController within this ModalModel that has this ModalController as its refinement, if any.

Methods in ptolemy.domains.modal.modal with parameters of type State

Modifier and Type	Method and Description
void	ModalRefinement.addRefinement(State state, java.lang.String name, Entity template, java.lang.String className, InstanceOpener instanceOpener) Create a refinement for the given state.
void	Refinement.addRefinement(State state, java.lang.String name, Entity template, java.lang.String className, InstanceOpener instanceOpener) Perform no action but throw an IllegalActionException because a refinement cannot be created in an arbitrary actor-oriented refinement.
void	ModalController.addRefinement(State state, java.lang.String name, Entity template, java.lang.String className, InstanceOpener instanceOpener) Create a refinement for the given state.
static void	ModalRefinement.addRefinement(State state, java.lang.String name, Entity template, java.lang.String className, InstanceOpener instanceOpener, CompositeEntity container) Create a refinement for the given state.

Uses of State in ptolemy.vergil.basic.layout.kieler

Methods in ptolemy.vergil.basic.layout.kieler with parameters of type State

Modifier and Type	Method and Description
protected static boolean	PtolemyModelUtil._isFinalState(State state) Return true if the state is a final state.
protected static boolean	PtolemyModelUtil._isInitialState(State state) Return true if the state is an initial state.