|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
ChoreographyChoose | choose |
ChoreographyForAll | forall |
ChoreographyIfThen | "if Condition then Rules" is the simplest form of transition Rule. |
ChoreographyPipedRules | Interface or class description |
ChoreographyQuantifiedRule | A quantified rule is a sub-class of Transition Rule such did it defines quantified variables. |
ChoreographyRules | Interface or class description |
ChoreographyTransitionRule | Defines the simplest type of transition rule which takes the form of "if Condition then Rule". |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |