ptolemy.domains.fsm.modal
Classes 
Case
MirrorCausalityInterface
ModalController
ModalController.ClassComparator
ModalModel
ModalPort
Refinement
RefinementExtender
RefinementPort
RefinementSuggestion
TransitionRefinement
TransitionRefinementPort