Contents
Index
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
$
.
All
Index - A
actionLimits
Modelling.ActivityDiagram.Config
actionNodeNames
Modelling.ActivityDiagram.MatchAd
actionSequences
Modelling.ActivityDiagram.SelectAS
activityDiagram
1 (Function)
Modelling.ActivityDiagram.MatchAd
2 (Function)
Modelling.ActivityDiagram.SelectAS
3 (Function)
Modelling.ActivityDiagram.EnterAS
activityFinalNodes
Modelling.ActivityDiagram.Config
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.SelectAS
3 (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
AdDecisionNode
Modelling.ActivityDiagram.Datatype
addPartNames
Modelling.PetriNet.MatchToMath
addPretext
Modelling.Auxiliary.Output
AddRelationship
Modelling.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
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
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
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
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
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
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
AuxiliaryPetriNode
Modelling.ActivityDiagram.PetriNet