Index

$sel:actionNodes:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:activityDiagram:FindAuxiliaryPetriNodesInstanceModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:activityDiagram:MatchPetriInstanceModelling.ActivityDiagram.MatchPetri
$sel:activityDiagram:SelectPetriInstanceModelling.ActivityDiagram.SelectPetri
$sel:activityFinalNodes:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:adConfig:FindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:adConfig:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:adConfig:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:addConflictCommonPreconditions:ConflictConfigModelling.PetriNet.Types
$sel:addText:FindAuxiliaryPetriNodesInstanceModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:addText:FindInstanceModelling.PetriNet.Find
$sel:addText:MatchInstanceModelling.PetriNet.MatchToMath
$sel:addText:MatchPetriInstanceModelling.ActivityDiagram.MatchPetri
$sel:addText:PickInstanceModelling.PetriNet.Pick
$sel:addText:SelectPetriInstanceModelling.ActivityDiagram.SelectPetri
$sel:advConfig:FindConcurrencyConfigModelling.PetriNet.Types
$sel:advConfig:FindConflictConfigModelling.PetriNet.Types
$sel:advConfig:MathConfigModelling.PetriNet.MatchToMath
$sel:allNodes:PetriLikeModelling.PetriNet.Types
$sel:alloyConfig:FindConcurrencyConfigModelling.PetriNet.Types
$sel:alloyConfig:FindConflictConfigModelling.PetriNet.Types
$sel:alloyConfig:MathConfigModelling.PetriNet.MatchToMath
$sel:alloyConfig:PickConcurrencyConfigModelling.PetriNet.Types
$sel:alloyConfig:PickConflictConfigModelling.PetriNet.Types
$sel:atLeastActive:BasicConfigModelling.PetriNet.Types
$sel:auxiliaryPetriNodeAbsent:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:auxiliaryPetriNodeAbsent:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:auxiliaryPetriNodes:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:basicConfig:FindConcurrencyConfigModelling.PetriNet.Types
$sel:basicConfig:FindConflictConfigModelling.PetriNet.Types
$sel:basicConfig:MathConfigModelling.PetriNet.MatchToMath
$sel:basicConfig:PickConcurrencyConfigModelling.PetriNet.Types
$sel:basicConfig:PickConflictConfigModelling.PetriNet.Types
$sel:changeConfig:FindConcurrencyConfigModelling.PetriNet.Types
$sel:changeConfig:FindConflictConfigModelling.PetriNet.Types
$sel:changeConfig:MathConfigModelling.PetriNet.MatchToMath
$sel:changeConfig:PickConcurrencyConfigModelling.PetriNet.Types
$sel:changeConfig:PickConflictConfigModelling.PetriNet.Types
$sel:conflictConfig:FindConflictConfigModelling.PetriNet.Types
$sel:conflictConfig:PickConflictConfigModelling.PetriNet.Types
$sel:conflictDistractorAddExtraPreconditions:ConflictConfigModelling.PetriNet.Types
$sel:conflictDistractorOnlyConcurrentLike:ConflictConfigModelling.PetriNet.Types
$sel:conflictDistractorOnlyConflictLike:ConflictConfigModelling.PetriNet.Types
$sel:conflictPlaces:ConflictModelling.PetriNet.Types
$sel:conflictTrans:ConflictModelling.PetriNet.Types
$sel:countOfAuxiliaryPlaces:FindAuxiliaryPetriNodesSolutionModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:countOfAuxiliaryTransitions:FindAuxiliaryPetriNodesSolutionModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:countOfNonAuxiliaryNodes:FindAuxiliaryPetriNodesSolutionModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:countOfPetriNodesBounds:FindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:countOfPetriNodesBounds:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:countOfPetriNodesBounds:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:decisionNodes:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:drawFindWith:FindInstanceModelling.PetriNet.Find
$sel:extraText:FindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:extraText:FindConcurrencyConfigModelling.PetriNet.Types
$sel:extraText:FindConflictConfigModelling.PetriNet.Types
$sel:extraText:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:extraText:MathConfigModelling.PetriNet.MatchToMath
$sel:extraText:PickConcurrencyConfigModelling.PetriNet.Types
$sel:extraText:PickConflictConfigModelling.PetriNet.Types
$sel:extraText:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:flowChange:ChangeModelling.PetriNet.Types
$sel:flowChangeOverall:ChangeConfigModelling.PetriNet.Types
$sel:flowFinalNodes:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:flowIn:PlaceNodeModelling.PetriNet.Types
$sel:flowOut:PlaceNodeModelling.PetriNet.Types
$sel:flowOut:SimplePlaceModelling.PetriNet.Types
$sel:flowOverall:BasicConfigModelling.PetriNet.Types
$sel:forks:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:from:MatchInstanceModelling.PetriNet.MatchToMath
$sel:generatedWrongInstances:MathConfigModelling.PetriNet.MatchToMath
$sel:graphConfig:FindConcurrencyConfigModelling.PetriNet.Types
$sel:graphConfig:FindConflictConfigModelling.PetriNet.Types
$sel:graphConfig:MathConfigModelling.PetriNet.MatchToMath
$sel:graphConfig:PickConcurrencyConfigModelling.PetriNet.Types
$sel:graphConfig:PickConflictConfigModelling.PetriNet.Types
$sel:graphLayouts:GraphConfigModelling.PetriNet.Types
$sel:hideBranchConditions:FindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:hideBranchConditions:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:hideBranchConditions:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:hideNodeNames:FindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:hideNodeNames:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:hidePetriNodeLabels:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:hidePlaceNames:GraphConfigModelling.PetriNet.Types
$sel:hideTransitionNames:GraphConfigModelling.PetriNet.Types
$sel:hideWeight1:GraphConfigModelling.PetriNet.Types
$sel:initial:PlaceNodeModelling.PetriNet.Types
$sel:initial:SimplePlaceModelling.PetriNet.Types
$sel:initialMarking:PetriModelling.PetriNet.Types
$sel:initialMarkingMath:PetriMathModelling.PetriNet.Types
$sel:initialNodes:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:isConnected:BasicConfigModelling.PetriNet.Types
$sel:joins:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:label:AuxiliaryPetriNodeModelling.ActivityDiagram.PetriNet
$sel:matchingNet:FindAuxiliaryPetriNodesInstanceModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:matchingNet:SelectPetriSolutionModelling.ActivityDiagram.SelectPetri
$sel:maxFlowChangePerEdge:ChangeConfigModelling.PetriNet.Types
$sel:maxFlowPerEdge:BasicConfigModelling.PetriNet.Types
$sel:maxInstances:AlloyConfigModelling.PetriNet.Types
$sel:maxInstances:FindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:maxInstances:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:maxInstances:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:maxTokenChangePerPlace:ChangeConfigModelling.PetriNet.Types
$sel:maxTokensPerPlace:BasicConfigModelling.PetriNet.Types
$sel:mergeNodes:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:modifyAtMid:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:net:FindInstanceModelling.PetriNet.Find
$sel:netMath:PetriMathModelling.PetriNet.Types
$sel:nets:PickInstanceModelling.PetriNet.Pick
$sel:numberOfModifications:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:numberOfPlaces:FindInstanceModelling.PetriNet.Find
$sel:numberOfTransitions:FindInstanceModelling.PetriNet.Find
$sel:numberOfWrongAnswers:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:objectNodes:MatchPetriSolutionModelling.ActivityDiagram.MatchPetri
$sel:petriDrawConf:MatchPetriInstanceModelling.ActivityDiagram.MatchPetri
$sel:petriDrawConf:SelectPetriInstanceModelling.ActivityDiagram.SelectPetri
$sel:petriLayout:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:petriLayout:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:petriNet:MatchPetriInstanceModelling.ActivityDiagram.MatchPetri
$sel:petriNets:SelectPetriInstanceModelling.ActivityDiagram.SelectPetri
$sel:petriSvgHighlighting:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:petriSvgHighlighting:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:placeOrderMath:PetriMathModelling.PetriNet.Types
$sel:places:BasicConfigModelling.PetriNet.Types
$sel:placesMath:PetriMathModelling.PetriNet.Types
$sel:plantUMLConf:FindAuxiliaryPetriNodesInstanceModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:plantUMLConf:MatchPetriInstanceModelling.ActivityDiagram.MatchPetri
$sel:plantUMLConf:SelectPetriInstanceModelling.ActivityDiagram.SelectPetri
$sel:presenceOfSelfLoops:AdvConfigModelling.PetriNet.Types
$sel:presenceOfSinkTransitions:AdvConfigModelling.PetriNet.Types
$sel:presenceOfSinkTransitionsForFinals:FindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:presenceOfSinkTransitionsForFinals:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:presenceOfSinkTransitionsForFinals:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:presenceOfSourceTransitions:AdvConfigModelling.PetriNet.Types
$sel:printSolution:FindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:printSolution:FindConcurrencyConfigModelling.PetriNet.Types
$sel:printSolution:FindConflictConfigModelling.PetriNet.Types
$sel:printSolution:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:printSolution:MathConfigModelling.PetriNet.MatchToMath
$sel:printSolution:PickConcurrencyConfigModelling.PetriNet.Types
$sel:printSolution:PickConflictConfigModelling.PetriNet.Types
$sel:printSolution:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:prohibitSourceTransitions:PickConcurrencyConfigModelling.PetriNet.Types
$sel:prohibitSourceTransitions:PickConflictConfigModelling.PetriNet.Types
$sel:showSolution:FindAuxiliaryPetriNodesInstanceModelling.ActivityDiagram.FindAuxiliaryPetriNodes
$sel:showSolution:FindInstanceModelling.PetriNet.Find
$sel:showSolution:MatchInstanceModelling.PetriNet.MatchToMath
$sel:showSolution:MatchPetriInstanceModelling.ActivityDiagram.MatchPetri
$sel:showSolution:PickInstanceModelling.PetriNet.Pick
$sel:showSolution:SelectPetriInstanceModelling.ActivityDiagram.SelectPetri
$sel:sourceNode:AuxiliaryPetriNodeModelling.ActivityDiagram.PetriNet
$sel:timeout:AlloyConfigModelling.PetriNet.Types
$sel:to:MatchInstanceModelling.PetriNet.MatchToMath
$sel:toFind:FindInstanceModelling.PetriNet.Find
$sel:tokenChange:ChangeModelling.PetriNet.Types
$sel:tokenChangeMath:PetriMathModelling.PetriNet.Types
$sel:tokenChangeOverall:ChangeConfigModelling.PetriNet.Types
$sel:tokensOverall:BasicConfigModelling.PetriNet.Types
$sel:toPetriConflict:PetriConflict'Modelling.PetriNet.Types
$sel:trans:PetriModelling.PetriNet.Types
$sel:transitions:BasicConfigModelling.PetriNet.Types
$sel:transitionsMath:PetriMathModelling.PetriNet.Types
$sel:uniqueConflictPlace:FindConflictConfigModelling.PetriNet.Types
$sel:uniqueConflictPlace:PickConflictConfigModelling.PetriNet.Types
$sel:useDifferentGraphLayouts:MathConfigModelling.PetriNet.MatchToMath
$sel:useDifferentGraphLayouts:PickConcurrencyConfigModelling.PetriNet.Types
$sel:useDifferentGraphLayouts:PickConflictConfigModelling.PetriNet.Types
$sel:with1Weights:DrawSettingsModelling.PetriNet.Types
$sel:withActivityFinalInForkBlocks:MatchPetriConfigModelling.ActivityDiagram.MatchPetri
$sel:withActivityFinalInForkBlocks:SelectPetriConfigModelling.ActivityDiagram.SelectPetri
$sel:withConflictDistractors:ConflictConfigModelling.PetriNet.Types
$sel:withGraphvizCommand:DrawSettingsModelling.PetriNet.Types
$sel:withPlaceNames:DrawSettingsModelling.PetriNet.Types
$sel:withSvgHighlighting:DrawSettingsModelling.PetriNet.Types
$sel:withTransitionNames:DrawSettingsModelling.PetriNet.Types
$sel:wrongInstances:MathConfigModelling.PetriNet.MatchToMath
$sel:wrongNets:SelectPetriSolutionModelling.ActivityDiagram.SelectPetri
.&.Modelling.CdOd.RepairCd
actionLimitsModelling.ActivityDiagram.Config
actionNodeNamesModelling.ActivityDiagram.MatchAd
actionSequencesModelling.ActivityDiagram.SelectAS
activityDiagram 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.SelectAS
3 (Function)Modelling.ActivityDiagram.EnterAS
activityFinalNodesModelling.ActivityDiagram.Config
AdActionNodeModelling.ActivityDiagram.Datatype
AdActivityFinalNodeModelling.ActivityDiagram.Datatype
AdConfig 
1 (Type/Class)Modelling.ActivityDiagram.Config
2 (Data Constructor)Modelling.ActivityDiagram.Config
adConfig 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.SelectAS
3 (Function)Modelling.ActivityDiagram.EnterAS
adConfigBitWidthModelling.ActivityDiagram.Alloy
adConfigScopeModelling.ActivityDiagram.Alloy
adConfigToAlloyModelling.ActivityDiagram.Alloy
adConfigToAlloy'Modelling.ActivityDiagram.Alloy
AdConnection 
1 (Type/Class)Modelling.ActivityDiagram.Datatype
2 (Data Constructor)Modelling.ActivityDiagram.Datatype
addModelling.Types
AdDecisionNodeModelling.ActivityDiagram.Datatype
addPartNamesModelling.PetriNet.MatchToMath
addPretextModelling.Auxiliary.Output
AddRelationshipModelling.CdOd.Types
addText 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.SelectAS
3 (Function)Modelling.ActivityDiagram.EnterAS
4 (Function)Modelling.CdOd.RepairCd
5 (Function)Modelling.CdOd.SelectValidCd
6 (Function)Modelling.CdOd.NameCdError
7 (Function)Modelling.CdOd.MatchCdOd
8 (Function)Modelling.CdOd.DifferentNames
AdFlowFinalNodeModelling.ActivityDiagram.Datatype
AdForkNodeModelling.ActivityDiagram.Datatype
AdInitialNodeModelling.ActivityDiagram.Datatype
adjNodesModelling.ActivityDiagram.Datatype
AdJoinNodeModelling.ActivityDiagram.Datatype
AdMergeNodeModelling.ActivityDiagram.Datatype
AdNodeModelling.ActivityDiagram.Datatype
AdObjectNodeModelling.ActivityDiagram.Datatype
AdvConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
AggregationModelling.CdOd.Types
aggregationLimitsModelling.CdOd.Types
aggregationNameModelling.CdOd.Types
aggregationPartModelling.CdOd.Types
aggregationWholeModelling.CdOd.Types
aggregationWholeOmittedDefaultMultiplicityModelling.CdOd.Types
AllBoundedModelling.PetriNet.Reach.Type
allCdMutationsModelling.CdOd.Types
allDrawSettingsModelling.PetriNet.Types
allNonNegativeModelling.PetriNet.Reach.Type
allowedCdMutations 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.MatchCdOd
AllowedProperties 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
allowedProperties 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
allowEverythingModelling.CdOd.Types
allowLayoutMangling 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
allowNothingModelling.CdOd.Types
AlloyConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
alloyInstanceToOdModelling.CdOd.Auxiliary.Util
alterFlowModelling.PetriNet.Types
alterNodeModelling.PetriNet.Types
annotatedModelling.CdOd.Types
AnnotatedCdModelling.CdOd.Types
AnnotatedChangeAndCd 
1 (Type/Class)Modelling.CdOd.CdAndChanges.Instance
2 (Data Constructor)Modelling.CdOd.CdAndChanges.Instance
annotatedChangeClassDiagramModelling.CdOd.CdAndChanges.Instance
AnnotatedClassDiagram 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
annotatedClassesModelling.CdOd.Types
annotatedRelationshipChangeModelling.CdOd.CdAndChanges.Instance
annotatedRelationshipsModelling.CdOd.Types
Annotation 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
annotationModelling.CdOd.Types
anonymiseObjectsModelling.CdOd.Types
anonymousObjectProportionModelling.CdOd.Types
answerLength 
1 (Function)Modelling.ActivityDiagram.SelectAS
2 (Function)Modelling.ActivityDiagram.EnterAS
anyAssociationNamesModelling.CdOd.Types
AnyCdModelling.CdOd.Types
AnyClassDiagram 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
anyClassNamesModelling.CdOd.Types
anyCompositionCyclesInvolveInheritancesModelling.CdOd.Types
AnyRelationshipModelling.CdOd.Types
anyRelationshipNameModelling.CdOd.Types
anyRelationshipsModelling.CdOd.Types
AnyStructuralWeakeningModelling.CdOd.RepairCd
anyThickEdgeModelling.CdOd.Types
ArticlePreferenceModelling.CdOd.Types
articleToUse 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
assertReachPointsModelling.PetriNet.Reach.Reach
asSingletonModelling.PetriNet.Parser
AssociationModelling.CdOd.Types
associationFromModelling.CdOd.Types
associationLimitsModelling.CdOd.Types
associationNameModelling.CdOd.Types
associationNamesModelling.CdOd.Types
associationOmittedDefaultMultiplicityModelling.CdOd.Types
associationToModelling.CdOd.Types
AuxiliaryPetriNodeModelling.ActivityDiagram.PetriNet
basePropertiesOfBaseCdOnModelling.CdOd.SelectValidCd
BasicConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
bimapDeadlockInstanceModelling.PetriNet.Reach.Deadlock
bimapNetModelling.PetriNet.Reach.Type
bimapNetGoalModelling.PetriNet.Reach.Reach
bimapReachInstanceModelling.PetriNet.Reach.Reach
BoundedModelling.PetriNet.Reach.Type
ByDirectionModelling.CdOd.Types
ByNameModelling.CdOd.Types
byName 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
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
DeadlockConfig 
1 (Type/Class)Modelling.PetriNet.Reach.Deadlock
2 (Data Constructor)Modelling.PetriNet.Reach.Deadlock
deadlockEvaluationModelling.PetriNet.Reach.Deadlock
deadlockInitialModelling.PetriNet.Reach.Deadlock
DeadlockInstance 
1 (Type/Class)Modelling.PetriNet.Reach.Deadlock
2 (Data Constructor)Modelling.PetriNet.Reach.Deadlock
deadlocksModelling.PetriNet.Reach.Step
deadlocks'Modelling.PetriNet.Reach.Step
deadlockSolutionModelling.PetriNet.Reach.Deadlock
deadlockSyntaxModelling.PetriNet.Reach.Deadlock
deadlockTaskModelling.PetriNet.Reach.Deadlock
decisionMergePairsModelling.ActivityDiagram.Config
DefaultModelling.PetriNet.Reach.Property
defaultAdConfigModelling.ActivityDiagram.Config
defaultAdvConfigModelling.PetriNet.Types
defaultAlloyConfigModelling.PetriNet.Types
defaultBasicConfigModelling.PetriNet.Types
defaultCdConstraintsModelling.CdOd.Types
defaultCdDrawSettingsModelling.CdOd.Types
defaultChangeConfigModelling.PetriNet.Types
defaultConstraintsModelling.PetriNet.Alloy
defaultDeadlockConfigModelling.PetriNet.Reach.Deadlock
defaultDeadlockInstanceModelling.PetriNet.Reach.Deadlock
defaultDifferentNamesConfigModelling.CdOd.DifferentNames
defaultDifferentNamesInstanceModelling.CdOd.DifferentNames
defaultDifferentNamesTaskTextModelling.CdOd.DifferentNames
DefaultedLimitedLinking 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
defaultedLimitedLinkingModelling.CdOd.Types
defaultedLimitsModelling.CdOd.Types
defaultedLinkingModelling.CdOd.Types
defaultedRangeModelling.CdOd.Types
defaultEnterASConfigModelling.ActivityDiagram.EnterAS
defaultEnterASInstanceModelling.ActivityDiagram.EnterAS
defaultFindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
defaultFindAuxiliaryPetriNodesInstanceModelling.ActivityDiagram.FindAuxiliaryPetriNodes
defaultFindConcurrencyConfigModelling.PetriNet.Types
defaultFindConcurrencyInstanceModelling.PetriNet.Concurrency
defaultFindConflictConfigModelling.PetriNet.Types
defaultFindConflictInstanceModelling.PetriNet.Conflict
defaultFindConflictPlacesConfigModelling.PetriNet.ConflictPlaces
defaultFindConflictPlacesInstanceModelling.PetriNet.ConflictPlaces
defaultGraphConfigModelling.PetriNet.Types
defaultGraphToMathInstanceModelling.PetriNet.MatchToMath
defaultMatchAdConfigModelling.ActivityDiagram.MatchAd
defaultMatchAdInstanceModelling.ActivityDiagram.MatchAd
defaultMatchCdOdConfigModelling.CdOd.MatchCdOd
defaultMatchCdOdInstanceModelling.CdOd.MatchCdOd
defaultMatchPetriConfigModelling.ActivityDiagram.MatchPetri
defaultMatchPetriInstanceModelling.ActivityDiagram.MatchPetri
defaultMathConfigModelling.PetriNet.MatchToMath
defaultMathToGraphInstanceModelling.PetriNet.MatchToMath
defaultNameCdErrorAnswerModelling.CdOd.NameCdError
defaultNameCdErrorConfigModelling.CdOd.NameCdError
defaultNameCdErrorInstanceModelling.CdOd.NameCdError
defaultOmittedDefaultMultiplicitiesModelling.CdOd.Types
defaultPickConcurrencyConfigModelling.PetriNet.Types
defaultPickConcurrencyInstanceModelling.PetriNet.Concurrency
defaultPickConflictConfigModelling.PetriNet.Types
defaultPickConflictInstanceModelling.PetriNet.Conflict
defaultPlantUmlConfigModelling.ActivityDiagram.PlantUMLConverter
defaultPropertiesModelling.CdOd.Types
defaultReachConfigModelling.PetriNet.Reach.Reach
defaultReachInstanceModelling.PetriNet.Reach.Reach
defaultRepairCdConfigModelling.CdOd.RepairCd
defaultRepairCdInstanceModelling.CdOd.RepairCd
defaultSelectASConfigModelling.ActivityDiagram.SelectAS
defaultSelectASInstanceModelling.ActivityDiagram.SelectAS
defaultSelectPetriConfigModelling.ActivityDiagram.SelectPetri
defaultSelectPetriInstanceModelling.ActivityDiagram.SelectPetri
defaultSelectValidCdConfigModelling.CdOd.SelectValidCd
defaultSelectValidCdInstanceModelling.CdOd.SelectValidCd
deleteFlowModelling.PetriNet.Types
deleteNodeModelling.PetriNet.Types
DenotedModelling.CdOd.Types
diagramsModelling.CdOd.MatchCdOd
differentNamesModelling.CdOd.DifferentNames
DifferentNamesConfig 
1 (Type/Class)Modelling.CdOd.DifferentNames
2 (Data Constructor)Modelling.CdOd.DifferentNames
differentNamesEvaluationModelling.CdOd.DifferentNames
differentNamesInitialModelling.CdOd.DifferentNames
DifferentNamesInstance 
1 (Type/Class)Modelling.CdOd.DifferentNames
2 (Data Constructor)Modelling.CdOd.DifferentNames
differentNamesSolutionModelling.CdOd.DifferentNames
differentNamesSyntaxModelling.CdOd.DifferentNames
differentNamesTaskModelling.CdOd.DifferentNames
DifferentNamesTaskTextElementModelling.CdOd.DifferentNames
directionsAdviceModelling.Auxiliary.Output
DoubleRelationshipsModelling.CdOd.Types
doubleRelationshipsModelling.CdOd.Types
DrawableModelling.PetriNet.Types
drawAdToFileModelling.ActivityDiagram.PlantUMLConverter
drawCdModelling.CdOd.Output
drawCommands 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
drawNetModelling.PetriNet.Diagram
drawOdModelling.CdOd.Output
drawOdFromInstanceModelling.CdOd.Output
DrawSettings 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
drawSettings 
1 (Function)Modelling.ActivityDiagram.SelectAS
2 (Function)Modelling.ActivityDiagram.EnterAS
3 (Function)Modelling.CdOd.RepairCd
4 (Function)Modelling.CdOd.SelectValidCd
5 (Function)Modelling.CdOd.NameCdError
drawSettingsWithCommandModelling.PetriNet.Types
drawToFileModelling.PetriNet.Reach.Draw
drawUsing 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
dueToModelling.CdOd.NameCdError
emptyArrModelling.CdOd.Auxiliary.Util
emptyNetModelling.PetriNet.Types
enterActionSequenceModelling.ActivityDiagram.EnterAS
enterASModelling.ActivityDiagram.EnterAS
enterASAlloyModelling.ActivityDiagram.EnterAS
EnterASConfig 
1 (Type/Class)Modelling.ActivityDiagram.EnterAS
2 (Data Constructor)Modelling.ActivityDiagram.EnterAS
enterASEvaluationModelling.ActivityDiagram.EnterAS
enterASInitialModelling.ActivityDiagram.EnterAS
EnterASInstance 
1 (Type/Class)Modelling.ActivityDiagram.EnterAS
2 (Data Constructor)Modelling.ActivityDiagram.EnterAS
EnterASSolution 
1 (Type/Class)Modelling.ActivityDiagram.EnterAS
2 (Data Constructor)Modelling.ActivityDiagram.EnterAS
enterASSolutionModelling.ActivityDiagram.EnterAS
enterASSyntaxModelling.ActivityDiagram.EnterAS
enterASTaskModelling.ActivityDiagram.EnterAS
equallingModelling.PetriNet.Reach.Step
errorReasonsModelling.CdOd.NameCdError
exampleModelling.PetriNet.Reach.Type
exampleInstanceModelling.PetriNet.Reach.Deadlock
examWs2024Modelling.PetriNet.PetriDeadlock.Instance
executeModelling.PetriNet.Reach.Step
executeIOModelling.PetriNet.Reach.Step
executesModelling.PetriNet.Reach.Step
ExtendsAnd 
1 (Type/Class)Modelling.CdOd.CD2Alloy.Transform
2 (Data Constructor)Modelling.CdOd.CD2Alloy.Transform
extraModelling.Auxiliary.Output
extractAuxiliaryPetriNodesModelling.ActivityDiagram.MatchPetri
extraText 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.SelectAS
3 (Function)Modelling.ActivityDiagram.EnterAS
4 (Function)Modelling.CdOd.RepairCd
5 (Function)Modelling.CdOd.SelectValidCd
6 (Function)Modelling.CdOd.NameCdError
7 (Function)Modelling.CdOd.MatchCdOd
8 (Function)Modelling.CdOd.DifferentNames
FieldPlacementModelling.CdOd.CD2Alloy.Transform
filterFirstModelling.CdOd.Auxiliary.Util
finalNodesAdviceModelling.ActivityDiagram.Auxiliary.Util
FinalPetriNodeModelling.ActivityDiagram.PetriNet
findAuxiliaryPetriNodesModelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesAlloyModelling.ActivityDiagram.FindAuxiliaryPetriNodes
FindAuxiliaryPetriNodesConfig 
1 (Type/Class)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
2 (Data Constructor)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesEvaluationModelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesInitialModelling.ActivityDiagram.FindAuxiliaryPetriNodes
FindAuxiliaryPetriNodesInstance 
1 (Type/Class)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
2 (Data Constructor)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
FindAuxiliaryPetriNodesSolution 
1 (Type/Class)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
2 (Data Constructor)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesSolutionModelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesTaskModelling.ActivityDiagram.FindAuxiliaryPetriNodes
findConcurrencyModelling.PetriNet.Concurrency
FindConcurrencyConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
findConcurrencyEvaluationModelling.PetriNet.Concurrency
findConcurrencyGenerateModelling.PetriNet.Concurrency
findConcurrencySolutionModelling.PetriNet.Concurrency
findConcurrencySyntaxModelling.PetriNet.Concurrency
findConcurrencyTaskModelling.PetriNet.Concurrency
findConflictModelling.PetriNet.Conflict
FindConflictConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
findConflictEvaluationModelling.PetriNet.Conflict
findConflictGenerateModelling.PetriNet.Conflict
findConflictPlacesEvaluationModelling.PetriNet.Conflict
findConflictPlacesSolutionModelling.PetriNet.Conflict
findConflictPlacesSyntaxModelling.PetriNet.ConflictPlaces
findConflictPlacesTaskModelling.PetriNet.ConflictPlaces
findConflictSyntaxModelling.PetriNet.Conflict
findConflictTaskModelling.PetriNet.Conflict
findFittingRandomElementsModelling.Auxiliary.Common
findInitialModelling.PetriNet.Find
FindInstance 
1 (Type/Class)Modelling.PetriNet.Find
2 (Data Constructor)Modelling.PetriNet.Find
findTaskInstanceModelling.PetriNet.Find
FlipModelling.CdOd.Types
flowModelling.PetriNet.Types
flowFinalNodesModelling.ActivityDiagram.Config
FlowFromATransitionIsZeroOrLessModelling.PetriNet.Types
FlowToATransitionIsZeroOrLessModelling.PetriNet.Types
forkJoinPairsModelling.ActivityDiagram.Config
fromModelling.ActivityDiagram.Datatype
fromClassDiagramModelling.CdOd.Types
fromInstanceModelling.CdOd.CdAndChanges.Instance
fromInstanceWithNameOverlapModelling.CdOd.CdAndChanges.Instance
fromInstanceWithPredefinedNamesModelling.CdOd.CdAndChanges.Instance
fromNameMappingModelling.Types
generateActionSequenceModelling.ActivityDiagram.ActionSequences
generateCdsModelling.CdOd.Generate
generateDeadlockModelling.PetriNet.Reach.Deadlock
generateNetGoalModelling.PetriNet.Reach.Reach
generateReachModelling.PetriNet.Reach.Reach
generateSetOfCdsModelling.CdOd.RepairCd
GenericClassDiagramInstanceModelling.CdOd.CdAndChanges.Instance
getDefaultNetModelling.PetriNet.Diagram
getDifferentNamesTaskModelling.CdOd.DifferentNames
getFinalNodesModelling.ActivityDiagram.Datatype
getFirstInstanceModelling.Auxiliary.Common
getInitialNodesModelling.ActivityDiagram.Datatype
getMatchCdOdTaskModelling.CdOd.MatchCdOd
getNetModelling.PetriNet.Diagram
getODInstancesModelling.CdOd.MatchCdOd
GivenCdModelling.CdOd.DifferentNames
GivenCdsModelling.CdOd.MatchCdOd
GivenOdModelling.CdOd.DifferentNames
GivenOdsModelling.CdOd.MatchCdOd
goalModelling.PetriNet.Reach.Reach
GraphConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
graphToMathModelling.PetriNet.MatchToMath
graphToMathEvaluationModelling.PetriNet.MatchToMath
GraphToMathInstanceModelling.PetriNet.MatchToMath
graphToMathSyntaxModelling.PetriNet.MatchToMath
graphToMathTaskModelling.PetriNet.MatchToMath
guardModelling.ActivityDiagram.Datatype
guardBoundModelling.PetriNet.Reach.Property
hasCompositionCyclesModelling.CdOd.Types
hasCompositionsPreventingPartsModelling.CdOd.Types
hasDoubleRelationshipsModelling.CdOd.Types
hasIsolatedNodesModelling.PetriNet.Reach.Type
hasLimitedIsolatedObjectsModelling.CdOd.Types
hasMultipleInheritancesModelling.CdOd.Types
hasNonTrivialInheritanceCyclesModelling.CdOd.Types
hasRandomisableNamesModelling.Auxiliary.Common
hasReverseInheritancesModelling.CdOd.Types
hasReverseRelationshipsModelling.CdOd.Types
hasSelfLoopsModelling.CdOd.Types
hasThickEdgesModelling.CdOd.Types
hideBranchConditions 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.SelectAS
3 (Function)Modelling.ActivityDiagram.EnterAS
hintModelling.CdOd.RepairCd
hoveringInformationModelling.Auxiliary.Output
IllegalStructuralWeakeningModelling.CdOd.RepairCd
illegalStructuralWeakeningsModelling.CdOd.RepairCd
IncorrectCd 
1 (Data Constructor)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.NameCdError
InheritanceModelling.CdOd.Types
InheritanceCyclesModelling.CdOd.Types
inheritanceCyclesModelling.CdOd.Types
inheritanceLimitsModelling.CdOd.Types
initialTokensModelling.PetriNet.Types
instanceChangesAndCdsModelling.CdOd.CdAndChanges.Instance
instanceClassDiagramModelling.CdOd.CdAndChanges.Instance
instanceRelationshipNamesModelling.CdOd.CdAndChanges.Instance
instancesModelling.CdOd.MatchCdOd
instanceToAnyCdModelling.CdOd.Generate
instanceToCdModelling.CdOd.Generate
InvalidInheritanceModelling.CdOd.Types
InvalidInheritanceLimitsModelling.CdOd.Types
invalidInheritanceLimitsModelling.CdOd.Types
invalidInheritancesModelling.CdOd.Types
InValidOption 
1 (Type/Class)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.RepairCd
InvalidPetriNetExceptionModelling.PetriNet.Types
InvalidRelationshipModelling.CdOd.Types
invalidSubClassModelling.CdOd.Types
invalidSuperClassModelling.CdOd.Types
isActionNodeModelling.ActivityDiagram.Datatype
isActivityFinalNodeModelling.ActivityDiagram.Datatype
isAdIsomorphicModelling.ActivityDiagram.Isomorphism
isAnonymousModelling.CdOd.Types
isAuxiliaryPetriNodeModelling.ActivityDiagram.PetriNet
isDecisionNodeModelling.ActivityDiagram.Datatype
isFlowFinalNodeModelling.ActivityDiagram.Datatype
isForkNodeModelling.ActivityDiagram.Datatype
isIllegalModelling.CdOd.Types
isInitialNodeModelling.ActivityDiagram.Datatype
isJoinNodeModelling.ActivityDiagram.Datatype
isMergeNodeModelling.ActivityDiagram.Datatype
isNetDrawableModelling.PetriNet.Diagram
isNoLongerModelling.PetriNet.Reach.Reach
isObjectDiagramRandomisableModelling.CdOd.Types
isObjectNodeModelling.ActivityDiagram.Datatype
isolatedModelling.PetriNet.Alloy
isPetriDrawableModelling.PetriNet.Reach.Draw
isPetriIsomorphicModelling.ActivityDiagram.Isomorphism
isPlaceNodeModelling.PetriNet.Types
isRandomisableModelling.Auxiliary.Common
isRelevantModelling.CdOd.NameCdError
isTransitionNodeModelling.PetriNet.Types
labelModelling.ActivityDiagram.Datatype
lAdvConfigModelling.PetriNet.Types
lAlloyConfigModelling.PetriNet.Types
lAtLeastActiveModelling.PetriNet.Types
lBasicConfigModelling.PetriNet.Types
lChangeConfigModelling.PetriNet.Types
lConflictConfigModelling.PetriNet.Types
lConflictPlacesModelling.PetriNet.Types
lConflictTransModelling.PetriNet.Types
LegalStructuralWeakeningModelling.CdOd.RepairCd
legalStructuralWeakeningsModelling.CdOd.RepairCd
LengthyModelling.CdOd.Types
lensRulesLModelling.Auxiliary.Common
Letters 
1 (Type/Class)Modelling.Types
2 (Data Constructor)Modelling.Types
lettersListModelling.Types
levelsModelling.PetriNet.Reach.Step
levels'Modelling.PetriNet.Reach.Step
lExtraTextModelling.PetriNet.Types
lFlowOverallModelling.PetriNet.Types
lGraphConfigModelling.PetriNet.Types
lGraphLayoutsModelling.PetriNet.Types
lHidePlaceNamesModelling.PetriNet.Types
lHideTransitionNamesModelling.PetriNet.Types
lHideWeight1Modelling.PetriNet.Types
LimitedLinking 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
limitsModelling.CdOd.Types
LinguisticReuseModelling.CdOd.CD2Alloy.Transform
Link 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
linkFromModelling.CdOd.Types
linkingModelling.CdOd.Types
linkLabelModelling.CdOd.Types
linkLabelsModelling.CdOd.Types
linkLimitsModelling.CdOd.Types
linksModelling.CdOd.Types
linkShufflingModelling.CdOd.DifferentNames
linksPerObjectLimitsModelling.CdOd.Types
linkToModelling.CdOd.Types
lIsConnectedModelling.PetriNet.Types
listingPriorityModelling.CdOd.NameCdError
listToFM 
1 (Function)Modelling.CdOd.NameCdError.Instance
2 (Function)Modelling.CdOd.SelectValidCd.Instance
lMaxFlowPerEdgeModelling.PetriNet.Types
lMaxTokensPerPlaceModelling.PetriNet.Types
lowerFirstModelling.Auxiliary.Common
lPlacesModelling.PetriNet.Types
lPrintSolutionModelling.PetriNet.Types
lToFindModelling.PetriNet.Find
lTokensOverallModelling.PetriNet.Types
lTransitionsModelling.PetriNet.Types
lUniqueConflictPlaceModelling.PetriNet.Types
mapCapacityModelling.PetriNet.Reach.Type
mapChangeModelling.PetriNet.Types
mapIndicesToModelling.Auxiliary.Common
mapInValidOptionModelling.CdOd.RepairCd
mapInValidOptionMModelling.CdOd.RepairCd
mapNetModelling.PetriNet.Types
mapNodeModelling.PetriNet.Types
mappingModelling.CdOd.DifferentNames
MappingAdviceModelling.CdOd.DifferentNames
mappingAdviceModelling.CdOd.DifferentNames
mappingShowModelling.CdOd.DifferentNames
mapStateModelling.PetriNet.Reach.Type
mapTypesToLabelsModelling.ActivityDiagram.MatchPetri
markModelling.PetriNet.Reach.Type
matchAdModelling.ActivityDiagram.MatchAd
matchAdAlloyModelling.ActivityDiagram.MatchAd
MatchAdConfig 
1 (Type/Class)Modelling.ActivityDiagram.MatchAd
2 (Data Constructor)Modelling.ActivityDiagram.MatchAd
matchAdEvaluationModelling.ActivityDiagram.MatchAd
matchAdInitialModelling.ActivityDiagram.MatchAd
MatchAdInstance 
1 (Type/Class)Modelling.ActivityDiagram.MatchAd
2 (Data Constructor)Modelling.ActivityDiagram.MatchAd
MatchAdSolution 
1 (Type/Class)Modelling.ActivityDiagram.MatchAd
2 (Data Constructor)Modelling.ActivityDiagram.MatchAd
matchAdSolutionModelling.ActivityDiagram.MatchAd
matchAdSyntaxModelling.ActivityDiagram.MatchAd
matchAdTaskModelling.ActivityDiagram.MatchAd
matchCdOdModelling.CdOd.MatchCdOd
MatchCdOdConfig 
1 (Type/Class)Modelling.CdOd.MatchCdOd
2 (Data Constructor)Modelling.CdOd.MatchCdOd
matchCdOdEvaluationModelling.CdOd.MatchCdOd
MatchCdOdInstance 
1 (Type/Class)Modelling.CdOd.MatchCdOd
2 (Data Constructor)Modelling.CdOd.MatchCdOd
matchCdOdSolutionModelling.CdOd.MatchCdOd
matchCdOdSyntaxModelling.CdOd.MatchCdOd
matchCdOdTaskModelling.CdOd.MatchCdOd
MatchCdOdTaskTextElementModelling.CdOd.MatchCdOd
matchingShowModelling.CdOd.MatchCdOd
MatchInstance 
1 (Type/Class)Modelling.PetriNet.MatchToMath
2 (Data Constructor)Modelling.PetriNet.MatchToMath
matchPetriModelling.ActivityDiagram.MatchPetri
matchPetriAlloyModelling.ActivityDiagram.MatchPetri
MatchPetriConfig 
1 (Type/Class)Modelling.ActivityDiagram.MatchPetri
2 (Data Constructor)Modelling.ActivityDiagram.MatchPetri
matchPetriEvaluationModelling.ActivityDiagram.MatchPetri
matchPetriInitialModelling.ActivityDiagram.MatchPetri
MatchPetriInstance 
1 (Type/Class)Modelling.ActivityDiagram.MatchPetri
2 (Data Constructor)Modelling.ActivityDiagram.MatchPetri
MatchPetriSolution 
1 (Type/Class)Modelling.ActivityDiagram.MatchPetri
2 (Data Constructor)Modelling.ActivityDiagram.MatchPetri
matchPetriSolutionModelling.ActivityDiagram.MatchPetri
matchPetriSyntaxModelling.ActivityDiagram.MatchPetri
matchPetriTaskModelling.ActivityDiagram.MatchPetri
matchSolutionModelling.PetriNet.MatchToMath
MathModelling.PetriNet.MatchToMath
MathConfig 
1 (Type/Class)Modelling.PetriNet.MatchToMath
2 (Data Constructor)Modelling.PetriNet.MatchToMath
mathToGraphModelling.PetriNet.MatchToMath
mathToGraphEvaluationModelling.PetriNet.MatchToMath
MathToGraphInstanceModelling.PetriNet.MatchToMath
mathToGraphSyntaxModelling.PetriNet.MatchToMath
mathToGraphTaskModelling.PetriNet.MatchToMath
MaxEdgeMultiplicityModelling.PetriNet.Reach.Property
maxFiveObjectsModelling.CdOd.Types
MaxInitialTokensModelling.PetriNet.Reach.Property
maxInstances 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.SelectAS
3 (Function)Modelling.ActivityDiagram.EnterAS
4 (Function)Modelling.CdOd.RepairCd
5 (Function)Modelling.CdOd.SelectValidCd
6 (Function)Modelling.CdOd.NameCdError
7 (Function)Modelling.CdOd.MatchCdOd
8 (Function)Modelling.CdOd.DifferentNames
maxNamedNodesModelling.ActivityDiagram.Config
MaxNumPlacesModelling.PetriNet.Reach.Property
MaxNumTransitionsModelling.PetriNet.Reach.Property
maxObjectsModelling.CdOd.Types
maxRelationshipsModelling.CdOd.Types
maxTransitionLength 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
maybeInitialModelling.PetriNet.Types
mergePartsModelling.CdOd.CD2Alloy.Transform
minLength 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
minTransitionLength 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
MissingLimitModelling.CdOd.CdAndChanges.Instance
MissingObjectModelling.CdOd.CdAndChanges.Instance
ModellingTasksExceptionModelling.Auxiliary.Common
moduleActionSequencesRulesModelling.ActivityDiagram.Alloy
moduleHelpersModelling.PetriNet.Alloy
modulePetriAdditionsModelling.PetriNet.Alloy
modulePetriConceptsModelling.PetriNet.Alloy
modulePetriConstraintsModelling.PetriNet.Alloy
modulePetriNetModelling.ActivityDiagram.Alloy
modulePetriSignatureModelling.PetriNet.Alloy
MultipleInheritancesModelling.CdOd.Types
MutateRelationshipModelling.CdOd.Types
Name 
1 (Type/Class)Modelling.Types
2 (Data Constructor)Modelling.Types
nameModelling.ActivityDiagram.Datatype
NameCdErrorAnswer 
1 (Type/Class)Modelling.CdOd.NameCdError
2 (Data Constructor)Modelling.CdOd.NameCdError
NameCdErrorConfig 
1 (Type/Class)Modelling.CdOd.NameCdError
2 (Data Constructor)Modelling.CdOd.NameCdError
nameCdErrorEvaluationModelling.CdOd.NameCdError
nameCdErrorGenerateModelling.CdOd.NameCdError
NameCdErrorInstance 
1 (Type/Class)Modelling.CdOd.NameCdError
2 (Data Constructor)Modelling.CdOd.NameCdError
nameCdErrorSolutionModelling.CdOd.NameCdError
nameCdErrorSyntaxModelling.CdOd.NameCdError
nameCdErrorTaskModelling.CdOd.NameCdError
NameCdErrorTaskTextModelling.CdOd.NameCdError
NameCdErrorTaskTextElementModelling.CdOd.NameCdError
nameClassDiagramInstanceModelling.CdOd.CdAndChanges.Instance
NameMapping 
1 (Type/Class)Modelling.Types
2 (Data Constructor)Modelling.Types
nameMappingModelling.Types
Net 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
3 (Type/Class)Modelling.PetriNet.Types
NetGoal 
1 (Type/Class)Modelling.PetriNet.Reach.Reach
2 (Data Constructor)Modelling.PetriNet.Reach.Reach
netGoalModelling.PetriNet.Reach.Reach
NetGoalConfig 
1 (Type/Class)Modelling.PetriNet.Reach.Reach
2 (Data Constructor)Modelling.PetriNet.Reach.Reach
netGoalConfigModelling.PetriNet.Reach.Reach
netGoalSolutionModelling.PetriNet.Reach.Reach
netToGrModelling.PetriNet.Parser
NeverHappensModelling.Auxiliary.Common
NodeModelling.PetriNet.Types
nodes 
1 (Function)Modelling.ActivityDiagram.Datatype
2 (Function)Modelling.PetriNet.Types
NoInstanceAvailableModelling.Auxiliary.Common, Modelling.PetriNet.Alloy
noLongerThan 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
NoneModelling.CdOd.CD2Alloy.Transform
NonInheritancePhrasingModelling.CdOd.Types
normaliseObjectDiagramModelling.CdOd.Types
NormalPetriNodeModelling.ActivityDiagram.PetriNet
NoSingletonExceptionModelling.PetriNet.Parser
NothingMoreModelling.CdOd.CD2Alloy.Transform
NotRelevantModelling.CdOd.NameCdError
NumberOfReasons 
1 (Type/Class)Modelling.CdOd.NameCdError
2 (Data Constructor)Modelling.CdOd.NameCdError
numberOfWrongAnswersModelling.ActivityDiagram.SelectAS
numPlaces 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
numTransitions 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
Object 
1 (Type/Class)Modelling.Auxiliary.Common
2 (Data Constructor)Modelling.Auxiliary.Common
3 (Type/Class)Modelling.CdOd.Types
4 (Data Constructor)Modelling.CdOd.Types
objectClassModelling.CdOd.Types
ObjectConfig 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
objectConfig 
1 (Function)Modelling.CdOd.MatchCdOd
2 (Function)Modelling.CdOd.DifferentNames
ObjectDiagram 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
objectLimitsModelling.CdOd.Types
objectNameModelling.CdOd.Types
objectNodeLimitsModelling.ActivityDiagram.Config
objectNodeNamesModelling.ActivityDiagram.MatchAd
objectNodeOnEveryPath 
1 (Function)Modelling.ActivityDiagram.SelectAS
2 (Function)Modelling.ActivityDiagram.EnterAS
ObjectProperties 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
objectProperties 
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
objectsModelling.CdOd.Types
OdModelling.CdOd.Types
oDiagramModelling.CdOd.DifferentNames
oIndexModelling.Auxiliary.Common
OmittedDefaultMultiplicities 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
omittedDefaultMultiplicities 
1 (Function)Modelling.CdOd.MatchCdOd
2 (Function)Modelling.CdOd.DifferentNames
omittedDefaultsModelling.CdOd.Types
oNameModelling.Auxiliary.Common
oneAndOtherModelling.CdOd.Auxiliary.Util
oneOfModelling.Auxiliary.Common
operationModelling.CdOd.RepairCd
optionModelling.CdOd.RepairCd
outFlowModelling.PetriNet.Types
overlappingLinksPredicatesModelling.CdOd.CD2Alloy.Transform
parseChangeModelling.PetriNet.Parser
parseConcurrencyModelling.PetriNet.Concurrency
parseConflictModelling.PetriNet.Conflict
parseConflictPlacesPrecModelling.PetriNet.ConflictPlaces
parseInstanceModelling.ActivityDiagram.Instance
ParseIntModelling.ActivityDiagram.Auxiliary.Parser
parseIntModelling.Auxiliary.Common
parseLettersPrecModelling.Types
ParseListModelling.ActivityDiagram.Auxiliary.Parser
parseMappingSequenceModelling.ActivityDiagram.Auxiliary.Parser
parseNameCdErrorAnswerModelling.CdOd.NameCdError
parseNamePrecModelling.Types
parseNetModelling.PetriNet.Parser
parsePlacePrecModelling.PetriNet.Reach.Type
parseRenamedNetModelling.PetriNet.Parser
ParseStringModelling.ActivityDiagram.Auxiliary.Parser
parseTransitionPrecModelling.PetriNet.Reach.Type
parseTransitionsListPrecModelling.PetriNet.Reach.Type
ParseTupleModelling.ActivityDiagram.Auxiliary.Parser
ParseValueModelling.ActivityDiagram.Auxiliary.Parser
parseWithModelling.Auxiliary.Common
part1Modelling.CdOd.CD2Alloy.Transform
part2Modelling.CdOd.CD2Alloy.Transform
part3Modelling.CdOd.CD2Alloy.Transform
ParticipationsModelling.CdOd.Types
Parts 
1 (Type/Class)Modelling.CdOd.CD2Alloy.Transform
2 (Data Constructor)Modelling.CdOd.CD2Alloy.Transform
Petri 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
PetriChangeModelling.PetriNet.Types
PetriConflictModelling.PetriNet.Types
PetriConflict' 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
petriHasMultipleAutomorphismsModelling.ActivityDiagram.Isomorphism
PetriKeyModelling.ActivityDiagram.PetriNet
PetriLike 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
petriLikeToPetriModelling.PetriNet.Types
PetriMath 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
petriNet 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
petriNetFindConcurModelling.PetriNet.Concurrency
petriNetFindConflictModelling.PetriNet.Conflict
petriNetPickConcurModelling.PetriNet.Concurrency
petriNetPickConflictModelling.PetriNet.Conflict
petriNetRndModelling.PetriNet.MatchToMath
PetriNodeModelling.PetriNet.Types
petriScopeBitWidthModelling.PetriNet.Alloy
petriScopeMaxSeqModelling.PetriNet.Alloy
petriToGraphModelling.ActivityDiagram.Isomorphism
PhrasingKindModelling.CdOd.Types
pickConcurrencyModelling.PetriNet.Concurrency
PickConcurrencyConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
pickConcurrencyGenerateModelling.PetriNet.Concurrency
pickConcurrencyTaskModelling.PetriNet.Concurrency
pickConflictModelling.PetriNet.Conflict
PickConflictConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
pickConflictGenerateModelling.PetriNet.Conflict
pickConflictTaskModelling.PetriNet.Conflict
pickEvaluationModelling.PetriNet.Pick
pickGenerateModelling.PetriNet.Pick
PickInstance 
1 (Type/Class)Modelling.PetriNet.Pick
2 (Data Constructor)Modelling.PetriNet.Pick
pickSolutionModelling.PetriNet.Pick
pickSyntaxModelling.PetriNet.Pick
pickTaskInstanceModelling.PetriNet.Pick
Place 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
placeNamesModelling.PetriNet.Types
PlaceNodeModelling.PetriNet.Types
placesModelling.PetriNet.Reach.Type
PlaceWithNegativeTokenNumberModelling.PetriNet.Types
plantUMLConfModelling.ActivityDiagram.MatchAd
PlantUmlConfig 
1 (Type/Class)Modelling.ActivityDiagram.PlantUMLConverter
2 (Data Constructor)Modelling.ActivityDiagram.PlantUMLConverter
possibleReasonsModelling.CdOd.NameCdError
postconditionsRange 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
PotentialFixesModelling.CdOd.RepairCd
preconditionsRange 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
PreDefinedModelling.CdOd.NameCdError
preDefinedInvalidModelling.CdOd.NameCdError
preDefinedValidModelling.CdOd.NameCdError
printExtendedFeedback 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
printNamesModelling.CdOd.Types
printNavigationsModelling.CdOd.Types
printSolution 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
3 (Function)Modelling.ActivityDiagram.MatchAd
4 (Function)Modelling.ActivityDiagram.SelectAS
5 (Function)Modelling.ActivityDiagram.EnterAS
6 (Function)Modelling.CdOd.RepairCd
7 (Function)Modelling.CdOd.SelectValidCd
8 (Function)Modelling.CdOd.NameCdError
9 (Function)Modelling.CdOd.MatchCdOd
10 (Function)Modelling.CdOd.DifferentNames
Property 
1 (Type/Class)Modelling.CdOd.Types
2 (Type/Class)Modelling.PetriNet.Reach.Property
RandomiseModelling.Auxiliary.Common
randomiseModelling.Auxiliary.Common
RandomiseLayoutModelling.Auxiliary.Common
randomiseLayoutModelling.Auxiliary.Common
RandomiseNamesModelling.Auxiliary.Common
randomiseNamesModelling.Auxiliary.Common
rangeWithDefaultModelling.CdOd.Types
ReachConfig 
1 (Type/Class)Modelling.PetriNet.Reach.Reach
2 (Data Constructor)Modelling.PetriNet.Reach.Reach
reachEvaluationModelling.PetriNet.Reach.Reach
reachInitialModelling.PetriNet.Reach.Reach
ReachInstance 
1 (Type/Class)Modelling.PetriNet.Reach.Reach
2 (Data Constructor)Modelling.PetriNet.Reach.Reach
reachSolutionModelling.PetriNet.Reach.Reach
reachSyntaxModelling.PetriNet.Reach.Reach
reachTaskModelling.PetriNet.Reach.Reach
ReadObjectDiagramFromAlloyExceptionModelling.CdOd.CdAndChanges.Instance
ReasonModelling.CdOd.NameCdError
reasonModelling.CdOd.NameCdError
ReasonsListModelling.CdOd.NameCdError
reasonsPerInstanceModelling.CdOd.NameCdError
redColorModelling.CdOd.Auxiliary.Util
referenceUsingModelling.CdOd.NameCdError
rejectLongerThan 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
RelatedNodesOfPlacesContainPlacesModelling.PetriNet.Types
RelatedNodesOfTransitionsContainTransitionsModelling.PetriNet.Types
RelationshipModelling.CdOd.Types
relationshipChangeModelling.CdOd.CdAndChanges.Instance
RelationshipChangeWithArticleModelling.CdOd.RepairCd
relationshipLimitsModelling.CdOd.Types
RelationshipMutationModelling.CdOd.Types
relationshipNameModelling.CdOd.Types
RelationshipProperties 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
relationshipsModelling.CdOd.Types
RelationshipsListModelling.CdOd.NameCdError
RelevanceModelling.CdOd.NameCdError
RelevantModelling.CdOd.NameCdError
removeModelling.Types
RemoveRelationshipModelling.CdOd.Types
renameClassesAndRelationshipsModelling.CdOd.Types
renameInstance 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
3 (Function)Modelling.CdOd.DifferentNames
renameObjectsWithClassesAndLinksInOdModelling.CdOd.Types
renderPickModelling.PetriNet.Pick
repairCdModelling.CdOd.RepairCd
RepairCdConfig 
1 (Type/Class)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.RepairCd
repairCdEvaluationModelling.CdOd.RepairCd
RepairCdInstance 
1 (Type/Class)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.RepairCd
repairCdSolutionModelling.CdOd.RepairCd
repairCdSyntaxModelling.CdOd.RepairCd
repairCdTaskModelling.CdOd.RepairCd
RepairCdTaskTextElementModelling.CdOd.RepairCd
reportReachForModelling.PetriNet.Reach.Reach
ReverseInheritancesModelling.CdOd.Types
reverseInheritancesModelling.CdOd.Types
ReverseRelationshipsModelling.CdOd.Types
reverseRelationshipsModelling.CdOd.Types
sampleSequenceModelling.ActivityDiagram.EnterAS
sampleSolutionModelling.ActivityDiagram.EnterAS
satisfiesAtAnyStateModelling.PetriNet.Reach.Property
selectActionSequenceModelling.ActivityDiagram.SelectAS
selectASModelling.ActivityDiagram.SelectAS
selectASAlloyModelling.ActivityDiagram.SelectAS
SelectASConfig 
1 (Type/Class)Modelling.ActivityDiagram.SelectAS
2 (Data Constructor)Modelling.ActivityDiagram.SelectAS
selectASEvaluationModelling.ActivityDiagram.SelectAS
SelectASInstance 
1 (Type/Class)Modelling.ActivityDiagram.SelectAS
2 (Data Constructor)Modelling.ActivityDiagram.SelectAS
SelectASSolution 
1 (Type/Class)Modelling.ActivityDiagram.SelectAS
2 (Data Constructor)Modelling.ActivityDiagram.SelectAS
selectASSolutionModelling.ActivityDiagram.SelectAS
selectASSyntaxModelling.ActivityDiagram.SelectAS
selectASTaskModelling.ActivityDiagram.SelectAS
selectPetriModelling.ActivityDiagram.SelectPetri
selectPetriAlloyModelling.ActivityDiagram.SelectPetri
SelectPetriConfig 
1 (Type/Class)Modelling.ActivityDiagram.SelectPetri
2 (Data Constructor)Modelling.ActivityDiagram.SelectPetri
selectPetriEvaluationModelling.ActivityDiagram.SelectPetri
SelectPetriInstance 
1 (Type/Class)Modelling.ActivityDiagram.SelectPetri
2 (Data Constructor)Modelling.ActivityDiagram.SelectPetri
selectPetriNetModelling.ActivityDiagram.SelectPetri
selectPetriNetWithMatchingNetModelling.ActivityDiagram.SelectPetri
SelectPetriSolution 
1 (Type/Class)Modelling.ActivityDiagram.SelectPetri
2 (Data Constructor)Modelling.ActivityDiagram.SelectPetri
selectPetriSolutionModelling.ActivityDiagram.SelectPetri
selectPetriSyntaxModelling.ActivityDiagram.SelectPetri
selectPetriTaskModelling.ActivityDiagram.SelectPetri
selectValidCdModelling.CdOd.SelectValidCd
SelectValidCdConfig 
1 (Type/Class)Modelling.CdOd.SelectValidCd
2 (Data Constructor)Modelling.CdOd.SelectValidCd
selectValidCdEvaluationModelling.CdOd.SelectValidCd
SelectValidCdInstance 
1 (Type/Class)Modelling.CdOd.SelectValidCd
2 (Data Constructor)Modelling.CdOd.SelectValidCd
selectValidCdSolutionModelling.CdOd.SelectValidCd
selectValidCdSyntaxModelling.CdOd.SelectValidCd
selectValidCdTaskModelling.CdOd.SelectValidCd
SelectValidCdTaskTextElementModelling.CdOd.SelectValidCd
SelfInheritancesModelling.CdOd.Types
selfInheritancesModelling.CdOd.Types
selfInheritancesAmountModelling.CdOd.Types
SelfRelationshipsModelling.CdOd.Types
selfRelationshipsModelling.CdOd.Types
selfRelationshipsAmountModelling.CdOd.Types
showExtendedFeedback 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
showGoalNetModelling.PetriNet.Reach.Reach
showLengthHint 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
showLettersModelling.Types
showMinLengthHint 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
showNameModelling.Types
showNameCdErrorAnswerModelling.CdOd.NameCdError
ShowPlace 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
showPlaceModelling.PetriNet.Reach.Type
showPlaceNames 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
showPlaceNamesInNet 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
showSolution 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
3 (Function)Modelling.ActivityDiagram.MatchAd
4 (Function)Modelling.ActivityDiagram.SelectAS
5 (Function)Modelling.ActivityDiagram.EnterAS
6 (Function)Modelling.CdOd.RepairCd
7 (Function)Modelling.CdOd.SelectValidCd
8 (Function)Modelling.CdOd.NameCdError
9 (Function)Modelling.CdOd.MatchCdOd
10 (Function)Modelling.CdOd.DifferentNames
showTargetNetModelling.PetriNet.Reach.Reach
ShowTransition 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
showTransitionModelling.PetriNet.Reach.Type
shuffleAdLabelsModelling.ActivityDiagram.Shuffle
shuffleAdNamesModelling.ActivityDiagram.Shuffle
shuffleAnnotatedClassAndConnectionOrderModelling.CdOd.Types
shuffleAnyClassAndConnectionOrderModelling.CdOd.Types
shuffleCdNamesModelling.CdOd.Types
shuffleClassAndConnectionOrderModelling.CdOd.Types
shuffleEachCdModelling.CdOd.SelectValidCd
shuffleEverything 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
ShuffleExcept 
1 (Type/Class)Modelling.Auxiliary.Common
2 (Data Constructor)Modelling.Auxiliary.Common
ShuffleInstance 
1 (Type/Class)Modelling.Auxiliary.Shuffle.All
2 (Data Constructor)Modelling.Auxiliary.Shuffle.All
3 (Type/Class)Modelling.Auxiliary.Shuffle.NamesAndLayout
4 (Data Constructor)Modelling.Auxiliary.Shuffle.NamesAndLayout
shuffleInstance 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
shuffleInstanceWith 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
shuffleNames 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
3 (Function)Modelling.PetriNet.Types
shuffleObjectAndLinkOrderModelling.CdOd.Types
shuffleOptionsModelling.Auxiliary.Shuffle.All
shufflePetriModelling.ActivityDiagram.Shuffle
ShufflingOptionModelling.CdOd.DifferentNames
signaturesModelling.PetriNet.Alloy
simpleFindConcurrencyTaskModelling.PetriNet.Concurrency
simpleFindConflictPlacesTaskModelling.PetriNet.ConflictPlaces
simpleFindConflictTaskModelling.PetriNet.Conflict
simpleNameMapModelling.PetriNet.Parser
SimpleNodeModelling.PetriNet.Types
SimplePetriLikeModelling.PetriNet.Types
SimplePetriNetModelling.PetriNet.Types
simplePickConcurrencyTaskModelling.PetriNet.Concurrency
simplePickConflictTaskModelling.PetriNet.Conflict
SimplePlaceModelling.PetriNet.Types
simpleRenameModelling.PetriNet.Parser
simpleRenameWithModelling.PetriNet.Parser
SimpleTransitionModelling.PetriNet.Types
simplifiedInformationModelling.Auxiliary.Output
SingleMemberExpectedModelling.CdOd.CdAndChanges.Instance
skipSpacesModelling.Auxiliary.Common
skolemVariableModelling.PetriNet.Alloy
sortLimitsModelling.CdOd.Types
startModelling.PetriNet.Reach.Type
State 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
StructuralWeakening 
1 (Type/Class)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.RepairCd
subClassModelling.CdOd.Types
successorsModelling.PetriNet.Reach.Step
superClassModelling.CdOd.Types
suppressBranchConditionsModelling.ActivityDiagram.PlantUMLConverter
suppressNodeNamesModelling.ActivityDiagram.PlantUMLConverter
takeRandomInstancesModelling.CdOd.MatchCdOd
task2023_05Modelling.CdOd.SelectValidCd.Config
task2023_06Modelling.CdOd.SelectValidCd.Config
task2023_07Modelling.CdOd.RepairCd.Config
task2023_08Modelling.CdOd.RepairCd.Config
task2023_09Modelling.CdOd.NameCdError.Config
task2023_10Modelling.CdOd.NameCdError.Config
task2023_12Modelling.CdOd.DifferentNames.Config
task2023_13Modelling.CdOd.DifferentNames.Config
task2023_14Modelling.CdOd.MatchCdOd.Config
task2023_15Modelling.CdOd.MatchCdOd.Config
task2023_16Modelling.PetriNet.PetriPickConflict.Config
task2023_17Modelling.PetriNet.PetriGraphToMath.Config
task2023_18Modelling.PetriNet.PetriGraphToMath.Config
task2023_19Modelling.PetriNet.PetriMathToGraph.Config
task2023_20Modelling.PetriNet.PetriMathToGraph.Config
task2023_21Modelling.PetriNet.PetriPickConcurrency.Config
task2023_22Modelling.PetriNet.PetriPickConflict.Config
task2023_23Modelling.PetriNet.PetriFindConcurrency.Config
task2023_24Modelling.PetriNet.PetriFindConflictPlaces.Config
task2023_25Modelling.CdOd.DifferentNames.Config
task2023_26Modelling.PetriNet.PetriFindConflictPlaces.Config
task2023_27Modelling.PetriNet.PetriReach.Config
task2023_28Modelling.PetriNet.PetriReach.Config
task2023_29Modelling.PetriNet.PetriDeadlock.Config
task2023_30Modelling.PetriNet.PetriDeadlock.Config
task2023_31Modelling.ActivityDiagram.MatchAd.Config
task2023_32Modelling.ActivityDiagram.MatchAd.Config
task2023_33Modelling.ActivityDiagram.SelectAs.Config
task2023_34Modelling.ActivityDiagram.SelectAs.Config
task2023_35Modelling.ActivityDiagram.EnterAs.Config
task2023_36Modelling.ActivityDiagram.EnterAs.Config
task2023_37Modelling.ActivityDiagram.SelectPetri.Config
task2023_38Modelling.ActivityDiagram.SelectPetri.Config
task2023_39Modelling.ActivityDiagram.MatchPetri.Config
task2023_40Modelling.ActivityDiagram.MatchPetri.Config
task2023_41Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2023_42Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2024_05Modelling.CdOd.SelectValidCd.Instance
task2024_06Modelling.CdOd.SelectValidCd.Config
task2024_06pickedModelling.CdOd.SelectValidCd.Instance
task2024_07Modelling.CdOd.SelectValidCd.Config
task2024_08Modelling.CdOd.SelectValidCd.Config
task2024_09Modelling.CdOd.SelectValidCd.Instance
task2024_10Modelling.CdOd.NameCdError.Config
task2024_11Modelling.CdOd.NameCdError.Config
task2024_12Modelling.CdOd.RepairCd.Config
task2024_13Modelling.CdOd.RepairCd.Config
task2024_14Modelling.CdOd.NameCdError.Instance
task2024_15Modelling.CdOd.DifferentNames.Config
task2024_16Modelling.CdOd.DifferentNames.Config
task2024_17Modelling.CdOd.MatchCdOd.Config
task2024_18Modelling.CdOd.MatchCdOd.Config
task2024_19Modelling.CdOd.MatchCdOd.Config
task2024_20Modelling.CdOd.MatchCdOd.Config
task2024_21Modelling.PetriNet.PetriGraphToMath.Config
task2024_22Modelling.PetriNet.PetriGraphToMath.Config
task2024_23Modelling.PetriNet.PetriMathToGraph.Config
task2024_24Modelling.PetriNet.PetriMathToGraph.Config
task2024_25Modelling.PetriNet.PetriReach.Config
task2024_26Modelling.PetriNet.PetriReach.Config
task2024_27Modelling.PetriNet.PetriDeadlock.Config
task2024_28Modelling.PetriNet.PetriDeadlock.Config
task2024_29Modelling.PetriNet.PetriPickConcurrency.Config
task2024_30Modelling.PetriNet.PetriPickConflict.Config
task2024_31Modelling.PetriNet.PetriPickConflict.Config
task2024_32Modelling.PetriNet.PetriFindConcurrency.Config
task2024_33Modelling.PetriNet.PetriFindConcurrency.Config
task2024_34Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_35Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_36Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_37Modelling.ActivityDiagram.MatchAd.Config
task2024_38Modelling.ActivityDiagram.MatchAd.Config
task2024_39Modelling.ActivityDiagram.SelectAs.Config
task2024_40Modelling.ActivityDiagram.SelectAs.Config
task2024_41Modelling.ActivityDiagram.EnterAs.Config
task2024_42Modelling.ActivityDiagram.EnterAs.Config
task2024_43Modelling.ActivityDiagram.SelectPetri.Config
task2024_44Modelling.ActivityDiagram.SelectPetri.Config
task2024_45Modelling.ActivityDiagram.MatchPetri.Config
task2024_46Modelling.ActivityDiagram.MatchPetri.Config
task2024_47Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2024_48Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2024_51Modelling.CdOd.SelectValidCd.Config
task2024_52Modelling.CdOd.SelectValidCd.Config
task2024_53Modelling.CdOd.SelectValidCd.Instance
task2024_54Modelling.CdOd.NameCdError.Config
task2024_55Modelling.CdOd.RepairCd.Config
task2024_56Modelling.CdOd.DifferentNames.Config
task2024_57Modelling.CdOd.MatchCdOd.Config
task2024_58Modelling.CdOd.MatchCdOd.Config
task2024_59Modelling.CdOd.MatchCdOd.Config
task2024_60Modelling.PetriNet.PetriReach.Config
task2024_61Modelling.PetriNet.PetriDeadlock.Config
task2024_62Modelling.PetriNet.PetriFindConcurrency.Config
task2024_63Modelling.PetriNet.PetriFindConcurrency.Config
task2024_64Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_65Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_66Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_67Modelling.ActivityDiagram.MatchAd.Config
task2024_68Modelling.ActivityDiagram.EnterAs.Config
task2024_69Modelling.ActivityDiagram.EnterAs.Config
task2024_70Modelling.ActivityDiagram.MatchPetri.Config
task2024_71Modelling.ActivityDiagram.MatchPetri.Config
task2024_72Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2024_73Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task5Modelling.PetriNet.PetriReach.Instance
TaskGenerationExceptionModelling.Auxiliary.Common, Modelling.PetriNet.Alloy
taskInstance 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
3 (Function)Modelling.PetriNet.Alloy
taskText 
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
timeout 
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
toModelling.ActivityDiagram.Datatype
toArticleToUseModelling.CdOd.Types
toFindEvaluationModelling.PetriNet.Find
toFindSyntaxModelling.PetriNet.Find
toMapModelling.Auxiliary.Common
toNameMappingModelling.Types
toPetriMathModelling.PetriNet.LaTeX
toPhrasingModelling.CdOd.Types
toPropertyModelling.CdOd.RepairCd
toPropertySetModelling.CdOd.Types
toShowDeadlockInstanceModelling.PetriNet.Reach.Deadlock
toShowNetGoalModelling.PetriNet.Reach.Reach
toShowReachInstanceModelling.PetriNet.Reach.Reach
toTaskSpecificTextModelling.CdOd.DifferentNames
toValidCdModelling.CdOd.Types
towardsValidPropertiesModelling.CdOd.Types
transform 
1 (Function)Modelling.CdOd.CdAndChanges.Transform
2 (Function)Modelling.CdOd.CD2Alloy.Transform
transformChangesModelling.CdOd.CdAndChanges.Transform
transformGetNextFixModelling.CdOd.CdAndChanges.Transform
transformImproveCdModelling.CdOd.CdAndChanges.Transform
transformNetModelling.PetriNet.Types
transformNoChangesModelling.CdOd.CdAndChanges.Transform
Transition 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
transitionNamesModelling.PetriNet.Types
TransitionNodeModelling.PetriNet.Types
transitionPairShowModelling.PetriNet.Types
transitionsModelling.PetriNet.Reach.Type
TransitionsList 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
transitionsListModelling.PetriNet.Reach.Type
transitionsValidModelling.PetriNet.Reach.Reach
traverseNetModelling.PetriNet.Types
traverseNodeModelling.PetriNet.Types
triesModelling.PetriNet.Reach.Deadlock
tryModelling.PetriNet.Reach.Deadlock
UMLActivityDiagram 
1 (Type/Class)Modelling.ActivityDiagram.Datatype
2 (Data Constructor)Modelling.ActivityDiagram.Datatype
unannotateCdModelling.CdOd.Types
UnboundedModelling.PetriNet.Reach.Type
underlinedLabelModelling.CdOd.Auxiliary.Util
UnexpectedEmptySetModelling.PetriNet.Parser
UnexpectedInvalidRelationshipModelling.CdOd.Types
UnexpectedMultipleElementsModelling.PetriNet.Parser
UnexpectedRelationModelling.CdOd.CdAndChanges.Instance
uniformModelling.Auxiliary.Output
uniformlyAnnotateChangeAndCdModelling.CdOd.CdAndChanges.Instance
UnknownLimitModelling.CdOd.CdAndChanges.Instance
unNameModelling.Types
unscopedSingleSigModelling.PetriNet.Alloy
unShuffleExceptModelling.Auxiliary.Common
unStateModelling.PetriNet.Reach.Type
updatePetriKeyModelling.ActivityDiagram.PetriNet
upperFirstModelling.Auxiliary.Common
upperToDashModelling.Auxiliary.Common
UseDefiniteArticleWherePossibleModelling.CdOd.Types
UseIndefiniteArticleEverywhereModelling.CdOd.Types
useNames 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
usesEveryRelationshipNameModelling.CdOd.Types
validActionSequenceModelling.ActivityDiagram.ActionSequences
validateModelling.PetriNet.Reach.Property
validatesModelling.PetriNet.Reach.Property
validChangeClassDiagramModelling.CdOd.CdAndChanges.Instance
validityChangeModelling.CdOd.RepairCd
verifyDeadlockModelling.PetriNet.Reach.Deadlock
verifyReachModelling.PetriNet.Reach.Reach
WeakeningKindModelling.CdOd.RepairCd
weakeningNameModelling.CdOd.RepairCd
weightedShuffleModelling.Auxiliary.Common
withActivityFinalInForkBlocksModelling.ActivityDiagram.MatchAd
WithAdditionalNamesModelling.CdOd.DifferentNames
withLengthHint 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
withMinLengthHint 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
withNonTrivialInheritance 
1 (Function)Modelling.CdOd.MatchCdOd
2 (Function)Modelling.CdOd.DifferentNames
withObviousMappingModelling.CdOd.DifferentNames
wrongModelling.PetriNet.Pick
WrongAssociationLimitsModelling.CdOd.Types
wrongAssociationLimitsModelling.CdOd.Types
WrongCompositionLimitsModelling.CdOd.Types
wrongCompositionLimitsModelling.CdOd.Types
wrongCompositionsModelling.CdOd.Types
wrongInstancesModelling.PetriNet.Pick
wrongNonInheritancesModelling.CdOd.Types
WrongRelationshipExceptionModelling.CdOd.Types
wrongSequencesModelling.ActivityDiagram.SelectAS