A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
.
All

Index - A

absentTransitionsRequirement	Modelling.PetriNet.Reach.Filter
actionLimits	Modelling.ActivityDiagram.Config
actionNodeNames	Modelling.ActivityDiagram.MatchAd
actionNodes	Modelling.ActivityDiagram.MatchPetri
actionRepetitionDistance	Modelling.ActivityDiagram.ActionSequences
actionSequences	Modelling.ActivityDiagram.SelectAS
activityDiagram
1 (Function)	Modelling.ActivityDiagram.MatchAd
2 (Function)	Modelling.ActivityDiagram.MatchPetri
3 (Function)	Modelling.ActivityDiagram.SelectPetri
4 (Function)	Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
5 (Function)	Modelling.ActivityDiagram.SelectAS
6 (Function)	Modelling.ActivityDiagram.EnterAS
activityFinalNodes
1 (Function)	Modelling.ActivityDiagram.Config
2 (Function)	Modelling.ActivityDiagram.MatchPetri
AdActionNode	Modelling.ActivityDiagram.Datatype
AdActivityFinalNode	Modelling.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.MatchPetri
3 (Function)	Modelling.ActivityDiagram.SelectPetri
4 (Function)	Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
5 (Function)	Modelling.ActivityDiagram.SelectAS
6 (Function)	Modelling.ActivityDiagram.EnterAS
adConfigBitWidth	Modelling.ActivityDiagram.Alloy
adConfigScope	Modelling.ActivityDiagram.Alloy
adConfigToAlloy	Modelling.ActivityDiagram.Alloy
adConfigToAlloy'	Modelling.ActivityDiagram.Alloy
AdConnection
1 (Type/Class)	Modelling.ActivityDiagram.Datatype
2 (Data Constructor)	Modelling.ActivityDiagram.Datatype
add	Modelling.Types
addConflictCommonPreconditions	Modelling.PetriNet.Types
AdDecisionNode	Modelling.ActivityDiagram.Datatype
addPartNames	Modelling.PetriNet.MatchToMath
addPretext	Modelling.Auxiliary.Output
AddRelationship	Modelling.CdOd.Types
addText
1 (Function)	Modelling.PetriNet.Pick
2 (Function)	Modelling.PetriNet.Find
3 (Function)	Modelling.PetriNet.MatchToMath
4 (Function)	Modelling.ActivityDiagram.MatchAd
5 (Function)	Modelling.ActivityDiagram.MatchPetri
6 (Function)	Modelling.ActivityDiagram.SelectPetri
7 (Function)	Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
8 (Function)	Modelling.ActivityDiagram.SelectAS
9 (Function)	Modelling.ActivityDiagram.EnterAS
10 (Function)	Modelling.CdOd.RepairCd
11 (Function)	Modelling.CdOd.SelectValidCd
12 (Function)	Modelling.CdOd.NameCdError
13 (Function)	Modelling.CdOd.MatchCdOd
14 (Function)	Modelling.CdOd.DifferentNames
AdFlowFinalNode	Modelling.ActivityDiagram.Datatype
AdForkNode	Modelling.ActivityDiagram.Datatype
AdInitialNode	Modelling.ActivityDiagram.Datatype
adjNodes	Modelling.ActivityDiagram.Datatype
AdJoinNode	Modelling.ActivityDiagram.Datatype
AdMergeNode	Modelling.ActivityDiagram.Datatype
AdNode	Modelling.ActivityDiagram.Datatype
AdObjectNode	Modelling.ActivityDiagram.Datatype
AdvConfig
1 (Type/Class)	Modelling.PetriNet.Types
2 (Data Constructor)	Modelling.PetriNet.Types
advConfig
1 (Function)	Modelling.PetriNet.Types
2 (Function)	Modelling.PetriNet.Types
3 (Function)	Modelling.PetriNet.MatchToMath
Aggregation	Modelling.CdOd.Types
aggregationLimits	Modelling.CdOd.Types
aggregationName	Modelling.CdOd.Types
aggregationPart	Modelling.CdOd.Types
aggregationWhole	Modelling.CdOd.Types
aggregationWholeOmittedDefaultMultiplicity	Modelling.CdOd.Types
AllBounded	Modelling.PetriNet.Reach.Type
allCdMutations	Modelling.CdOd.Types
allDrawSettings	Modelling.PetriNet.Types
allNodes	Modelling.PetriNet.Types
allNonNegative	Modelling.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
allowedTokenChanges	Modelling.PetriNet.Reach.Type
allowEverything	Modelling.CdOd.Types
allowLayoutMangling
1 (Function)	Modelling.Auxiliary.Shuffle.All
2 (Function)	Modelling.Auxiliary.Shuffle.NamesAndLayout
allowNothing	Modelling.CdOd.Types
AlloyConfig
1 (Type/Class)	Modelling.PetriNet.Types
2 (Data Constructor)	Modelling.PetriNet.Types
alloyConfig
1 (Function)	Modelling.PetriNet.Types
2 (Function)	Modelling.PetriNet.Types
3 (Function)	Modelling.PetriNet.Types
4 (Function)	Modelling.PetriNet.Types
5 (Function)	Modelling.PetriNet.MatchToMath
alloyInstanceToOd	Modelling.CdOd.Auxiliary.Util
alterFlow	Modelling.PetriNet.Types
alterNode	Modelling.PetriNet.Types
annotated	Modelling.CdOd.Types
AnnotatedCd	Modelling.CdOd.Types
AnnotatedChangeAndCd
1 (Type/Class)	Modelling.CdOd.CdAndChanges.Instance
2 (Data Constructor)	Modelling.CdOd.CdAndChanges.Instance
annotatedChangeClassDiagram	Modelling.CdOd.CdAndChanges.Instance
AnnotatedClassDiagram
1 (Type/Class)	Modelling.CdOd.Types
2 (Data Constructor)	Modelling.CdOd.Types
annotatedClasses	Modelling.CdOd.Types
annotatedRelationshipChange	Modelling.CdOd.CdAndChanges.Instance
annotatedRelationships	Modelling.CdOd.Types
Annotation
1 (Type/Class)	Modelling.CdOd.Types
2 (Data Constructor)	Modelling.CdOd.Types
annotation	Modelling.CdOd.Types
anonymiseObjects	Modelling.CdOd.Types
anonymousObjectProportion	Modelling.CdOd.Types
answerLength
1 (Function)	Modelling.ActivityDiagram.SelectAS
2 (Function)	Modelling.ActivityDiagram.EnterAS
anyAssociationNames	Modelling.CdOd.Types
AnyCd	Modelling.CdOd.Types
AnyClassDiagram
1 (Type/Class)	Modelling.CdOd.Types
2 (Data Constructor)	Modelling.CdOd.Types
anyClassNames	Modelling.CdOd.Types
anyCompositionCyclesInvolveInheritances	Modelling.CdOd.Types
AnyRelationship	Modelling.CdOd.Types
anyRelationshipName	Modelling.CdOd.Types
anyRelationships	Modelling.CdOd.Types
AnyStructuralWeakening	Modelling.CdOd.RepairCd
anyThickEdge	Modelling.CdOd.Types
areNonPreserving	Modelling.PetriNet.Reach.Type
ArrowDensityConstraints
1 (Type/Class)	Modelling.PetriNet.Reach.Type
2 (Data Constructor)	Modelling.PetriNet.Reach.Type
arrowDensityConstraints
1 (Function)	Modelling.PetriNet.Reach.Reach
2 (Function)	Modelling.PetriNet.Reach.Deadlock
ArticlePreference	Modelling.CdOd.Types
articleToUse
1 (Function)	Modelling.CdOd.RepairCd
2 (Function)	Modelling.CdOd.SelectValidCd
3 (Function)	Modelling.CdOd.NameCdError
assertReachPoints	Modelling.PetriNet.Reach.Reach
asSingleton	Modelling.PetriNet.Parser
Association	Modelling.CdOd.Types
associationFrom	Modelling.CdOd.Types
associationLimits	Modelling.CdOd.Types
associationName	Modelling.CdOd.Types
associationNames	Modelling.CdOd.Types
associationOmittedDefaultMultiplicity	Modelling.CdOd.Types
associationTo	Modelling.CdOd.Types
atLeastActive	Modelling.PetriNet.Types
AuxiliaryPetriNode	Modelling.ActivityDiagram.PetriNet
auxiliaryPetriNodeAbsent
1 (Function)	Modelling.ActivityDiagram.MatchPetri
2 (Function)	Modelling.ActivityDiagram.SelectPetri
auxiliaryPetriNodes	Modelling.ActivityDiagram.MatchPetri