Index - C

cacheCdModelling.CdOd.Output
cacheNetModelling.PetriNet.Diagram
cacheOdModelling.CdOd.Output
calculateThickAnyRelationshipsModelling.CdOd.Types
Capacity 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Property
capacity 
1 (Function)Modelling.PetriNet.Reach.Type
2 (Function)Modelling.PetriNet.Reach.Reach
3 (Function)Modelling.PetriNet.Reach.Deadlock
CdModelling.CdOd.Types
CdCandidatesModelling.CdOd.SelectValidCd
CdConstraints 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
cdConstraints 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
CdDrawSettings 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
cdDrawSettings 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
4 (Function)Modelling.CdOd.MatchCdOd
5 (Function)Modelling.CdOd.DifferentNames
cDiagramModelling.CdOd.DifferentNames
CdMutationModelling.CdOd.Types
Change 
1 (Data Constructor)Modelling.PetriNet.Types
2 (Type/Class)Modelling.PetriNet.Types
3 (Type/Class)Modelling.Types
4 (Data Constructor)Modelling.Types
changeModelling.PetriNet.Reach.Step
ChangeAndCd 
1 (Type/Class)Modelling.CdOd.CdAndChanges.Instance
2 (Data Constructor)Modelling.CdOd.CdAndChanges.Instance
changeClassDiagramModelling.CdOd.CdAndChanges.Instance
ChangeConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
ChangeKindModelling.CdOd.Types
ChangeLimitModelling.CdOd.Types
changesModelling.CdOd.RepairCd
checkAdConfigModelling.ActivityDiagram.Config
checkBasicConfigModelling.PetriNet.Types
checkCdConstraintsModelling.CdOd.Types
checkCdDrawPropertiesModelling.CdOd.Types
checkCdDrawSettingsModelling.CdOd.Types
checkCdMutationsModelling.CdOd.Types
checkChangeConfigModelling.PetriNet.Types
checkClassConfigModelling.CdOd.Types
checkClassConfigAndChangesModelling.CdOd.RepairCd
checkClassConfigAndObjectPropertiesModelling.CdOd.Types
checkClassConfigWithPropertiesModelling.CdOd.Types
checkConfigForFindModelling.PetriNet.Find
checkConfigForPickModelling.PetriNet.Pick
checkConflictConfigModelling.PetriNet.Conflict
checkDeadlockConfigModelling.PetriNet.Reach.Deadlock
checkDifferentNamesConfigModelling.CdOd.DifferentNames
checkDifferentNamesInstanceModelling.CdOd.DifferentNames
checkEnterASConfigModelling.ActivityDiagram.EnterAS
checkEnterASInstanceModelling.ActivityDiagram.EnterAS
checkFindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
checkFindBasicConfigModelling.PetriNet.Find
checkFindConcurrencyConfigModelling.PetriNet.Concurrency
checkFindConflictConfigModelling.PetriNet.Conflict
checkFindConflictPlacesConfigModelling.PetriNet.ConflictPlaces
checkGraphLayoutsModelling.PetriNet.Types
checkGraphToMathConfigModelling.PetriNet.MatchToMath
checkMatchAdConfigModelling.ActivityDiagram.MatchAd
checkMatchCdOdConfigModelling.CdOd.MatchCdOd
checkMatchCdOdInstanceModelling.CdOd.MatchCdOd
checkMatchPetriConfigModelling.ActivityDiagram.MatchPetri
checkMathConfigModelling.PetriNet.MatchToMath
checkNameCdErrorConfigModelling.CdOd.NameCdError
checkNameCdErrorInstanceModelling.CdOd.NameCdError
checkObjectDiagramModelling.CdOd.Types
checkObjectPropertiesModelling.CdOd.Types
checkOmittedDefaultMultiplicitiesModelling.CdOd.Types
checkPetriInstanceModelling.ActivityDiagram.SelectPetri
checkPetriNodeCountModelling.PetriNet.Types
checkPickConcurrencyConfigModelling.PetriNet.Concurrency
checkPickConflictConfigModelling.PetriNet.Conflict
checkReachConfigModelling.PetriNet.Reach.Reach
checkRepairCdConfigModelling.CdOd.RepairCd
checkRepairCdInstanceModelling.CdOd.RepairCd
checkSelectASConfigModelling.ActivityDiagram.SelectAS
checkSelectASInstanceModelling.ActivityDiagram.SelectAS
checkSelectPetriConfigModelling.ActivityDiagram.SelectPetri
checkSelectValidCdConfigModelling.CdOd.SelectValidCd
checkSelectValidCdInstanceModelling.CdOd.SelectValidCd
checkTaskTextModelling.Auxiliary.Output
classAndNonInheritanceNames 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
ClassConfig 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
classConfig 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
4 (Function)Modelling.CdOd.MatchCdOd
5 (Function)Modelling.CdOd.DifferentNames
ClassDiagram 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
classDiagram 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
ClassDiagramInstance 
1 (Type/Class)Modelling.CdOd.CdAndChanges.Instance
2 (Data Constructor)Modelling.CdOd.CdAndChanges.Instance
classDiagramsModelling.CdOd.SelectValidCd
classLimitsModelling.CdOd.Types
classNamesModelling.CdOd.Types
classNamesOdModelling.CdOd.Types
combinePartsModelling.CdOd.CD2Alloy.Transform
compAdvConstraintsModelling.PetriNet.Alloy
compBasicConstraintsModelling.PetriNet.Alloy
compChangeModelling.PetriNet.Alloy
completelyInhabitedModelling.CdOd.Types
CompositionModelling.CdOd.Types
CompositionCyclesModelling.CdOd.Types
compositionCyclesModelling.CdOd.Types
compositionLimitsModelling.CdOd.Types
compositionNameModelling.CdOd.Types
compositionPartModelling.CdOd.Types
compositionWholeModelling.CdOd.Types
compositionWholeOmittedDefaultMultiplicityModelling.CdOd.Types
Concurrent 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
Conflict 
1 (Data Constructor)Modelling.PetriNet.Types
2 (Type/Class)Modelling.PetriNet.Types
ConflictConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
conflictInitialModelling.PetriNet.ConflictPlaces
ConflictPlacesModelling.PetriNet.Conflict
conflictPlacesShowModelling.PetriNet.Conflict
conformsModelling.PetriNet.Reach.Type
connectedModelling.PetriNet.Alloy
ConnectionModelling.PetriNet.Reach.Type
connections 
1 (Function)Modelling.ActivityDiagram.Datatype
2 (Function)Modelling.PetriNet.Reach.Type
ConsecutiveNumbersModelling.CdOd.DifferentNames
contributingToProblemModelling.CdOd.NameCdError
convertPetriModelling.PetriNet.Parser
convertToPetriNetModelling.ActivityDiagram.PetriNet
convertToPlantUMLModelling.ActivityDiagram.PlantUMLConverter
convertToPlantUML'Modelling.ActivityDiagram.PlantUMLConverter
convertToSimpleModelling.ActivityDiagram.PetriNet
correctSequenceModelling.ActivityDiagram.SelectAS
countOfActivityFinalNodesModelling.ActivityDiagram.MatchAd
countOfDecisionNodesModelling.ActivityDiagram.MatchAd
countOfFlowFinalNodesModelling.ActivityDiagram.MatchAd
countOfForksModelling.ActivityDiagram.MatchAd
countOfInitialNodesModelling.ActivityDiagram.MatchAd
countOfJoinsModelling.ActivityDiagram.MatchAd
countOfMergeNodesModelling.ActivityDiagram.MatchAd
createRunCommandModelling.CdOd.CD2Alloy.Transform
CustomModelling.CdOd.NameCdError
customReasonsModelling.CdOd.NameCdError
cyclesModelling.ActivityDiagram.Config