|
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
DistilledStateChartBehaviour | DistilledStateChartBehaviour: a DSC using behaviours as states. |
DistilledStateChartPerformativeTransition | DistilledStateChartPerformativeTransition: transition defined to match a specific performative. |
DistilledStateChartTemplateTransition | DistilledStateChartTemplateTransition: transition defined to match a specific MessageTemplate. |
DistilledStateChartTransition | DistilledStateChartTransition: basic transition class. |
|
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |