Package ConForM.CoopnTools.CoKer.CoopnVisual

Interface Summary
CoopnGraphicalClassFormulaHolder Coopn graphical element holding a class formula.
CoopnGraphicalClassPortHolder Coopn graphical element holding a class port.
CoopnGraphicalContextFormulaHolder Coopn graphical element holding a context formula.
CoopnGraphicalContextPortHolder Coopn graphical element holding a context port.
CoopnGraphicalElement Coopn graphical element.
CoopnGraphicalInitialsHolder Coopn graphical element holding initials values.
CoopnGraphicalPlaceHolder Coopn graphical element holding a place.
CoopnGraphicalSyncHolder Coopn graphical element holding a synchronisation.
CoopnGraphicalTransitionHolder Coopn graphical element holding an internal transition.
 

Class Summary
CoopnClassModel Coopn Class Model.
CoopnEnrichmentGraph Coopn Enrichment Graph.
CoopnGraphicalAbstractClassPortCohercion Coopn synchronisation operation.
CoopnGraphicalAbstractContextPortCohercion Coopn synchronisation operation.
CoopnGraphicalAdtBarrel Coopn Adt Barrels.
CoopnGraphicalArc Coopn graphical arc.
CoopnGraphicalAsArc Coopn arcs for as enrichment.
CoopnGraphicalClass Coopn Class.
CoopnGraphicalClassCreation Coopn class creations.
CoopnGraphicalClassDestruction Coopn class destructions.
CoopnGraphicalClassGate Coopn class gates.
CoopnGraphicalClassMethod Coopn class method.
CoopnGraphicalClassRectangle Coopn Class Rectangles.
CoopnGraphicalContainer Coopn graphical container.
CoopnGraphicalContext Coopn Context.
CoopnGraphicalContextGate Coopn context gates.
CoopnGraphicalContextMethod Coopn context methods.
CoopnGraphicalContextRectangle Coopn Context Rectangles.
CoopnGraphicalContextSyncArc Coopn arcs for enrichment graphs.
CoopnGraphicalCoordination Coopn coordination.
CoopnGraphicalDirectedArc Coopn graphical directed arc.
CoopnGraphicalEnrichmentArc Coopn arcs for enrichment graphs.
CoopnGraphicalGenericClassPort Coopn generic class port.
CoopnGraphicalGenericClassTransition Coopn generic class port.
CoopnGraphicalGenericContextPort Coopn generic ports.
CoopnGraphicalGenericContextTransition Coopn generic context transition.
CoopnGraphicalGenericPort Coopn generic transitions.
CoopnGraphicalGenericSyncOp Coopn synchronisation operation.
CoopnGraphicalGenericTransition Coopn generic transitions.
CoopnGraphicalInheritArc Coopn arcs for inheritance enrichment.
CoopnGraphicalInstantiationArc Coopn arcs for instantiation enrichment.
CoopnGraphicalMorphismArc Coopn arcs for morphism enrichment.
CoopnGraphicalMorphismCircle Coopn Morphism Circles.
CoopnGraphicalNode Coopn graphical node.
CoopnGraphicalObject Coopn Object.
CoopnGraphicalPlace Coopn place.
CoopnGraphicalPlaceArc Coopn arcs for presets and postsets.
CoopnGraphicalPostsetArc Coopn arcs for postsets.
CoopnGraphicalPresetArc Coopn arcs for presets.
CoopnGraphicalRotatableNode Coopn graphical rotatable node.
CoopnGraphicalSubtypeArc Coopn arcs for use sub-type.
CoopnGraphicalSyncAlt Coopn synchronisation operation.
CoopnGraphicalSyncArc Coopn sync arcs for class models.
CoopnGraphicalSyncSeq Coopn synchronisation operation.
CoopnGraphicalSyncSim Coopn synchronisation operation.
CoopnGraphicalTestsetArc Coopn arcs for testsets.
CoopnGraphicalTransition Coopn transitions.
CoopnGraphicalUseArc Coopn arcs for use enrichment.
CoopnObjectModel Coopn Object Model for a particular state.
ModuleNameComparator Module name comparator.