Package | Description |
---|---|
ptolemy.domains.modal.kernel |
The ptolemy.domains.modal.kernel package.
|
ptolemy.domains.modal.modal |
The ptolemy.domains.modal.modal package.
|
Constructor and Description |
---|
ContainmentExtender(RefinementActor container,
java.lang.String name)
Construct a ContainmentExtender attribute with the given name contained
by the specified Refinement.
|
Modifier and Type | Class and Description |
---|---|
class |
ModalController
This FSM actor supports mirroring of its ports in its container
(which is required to be a ModalModel), which in turn assures
mirroring of ports in each of the refinements.
|
class |
ModalRefinement
This modal model actor supports mirroring of its ports in its container
(which is required to be a refinement of a state in a ModalModel).
|
class |
Refinement
This typed composite actor supports mirroring of its ports in its container
(which is required to be a ModalModel), which in turn assures
mirroring of ports in each of the refinements and the controller.
|
class |
TransitionRefinement
Transition refinements provide a way to use composite actors which are run
whenever a transition is taken in an FSM modal, much in the same way
that State refinements are run every time an FSM is in a particular state.
|