modelling-tasks-0.0.0.1

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
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
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
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