|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
Constraint | Constraints in the CO-OPN semantics. |
CoopnSem | Coopn semantics evaluator. |
CoopnSemIterator | Generic CoopnSem iterator. |
CoopnSubstitutionIterator | Substitution CoopnSem iterator. |
StateIterator | State CoopnSem iterator. |
StepIterator | Step CoopnSem iterator. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |