Package ConForM.CoopnTools.CoKer.CoopnSem

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.