Altarica.txt

altarica#System
altarica#AbstractDeclaration
altarica#ConstantDefinition
altarica#Constant
altarica#AbstractDefinitionConstant
altarica#ExpressionConstant
altarica#DomainConstant
altarica#Domain
altarica#AbstractDomain
altarica#Range
altarica#Enumeration
altarica#PrimitiveType
altarica#PrimitiveTypeKind
altarica#Literal
altarica#Node
altarica#AbstractSpecification
altarica#VariableAttribute
altarica#InitSpecification
altarica#InitStatement
altarica#ExternalSpecification
altarica#ExternalDirective
altarica#FlowSpecification
altarica#FlowDeclaration
altarica#FlowKind
altarica#Flow
altarica#EventSpecification
altarica#EventDeclaration
altarica#Event
altarica#Priority
altarica#StateSpecification
altarica#StateDeclaration
altarica#State
altarica#AbstractTypeRef
altarica#DomainRef
altarica#NodeInstanceSpecification
altarica#NodeInstanceDeclaration
altarica#NodeInstance
altarica#AssertSpecification
altarica#Assert
altarica#VectorSpecification
altarica#Vector
altarica#VectorParameter
altarica#Cardinality
altarica#TransitionSpecification
altarica#Transition
altarica#Affectation
altarica#AbstractExpression
altarica#AbstractBooleanExpression
altarica#Switch
altarica#CaseExpression
altarica#IfThenElse
altarica#Expression
altarica#EventRef
altarica#VariableRef
altarica#NavigableVariable
altarica#NonNavigableVariable
altarica#EBoolean
altarica#EString
altarica#EInteger
altarica#Addition
altarica#Minus
altarica#Multiplication
altarica#Division
altarica#And
altarica#Or
altarica#Equal
altarica#NotEqual
altarica#StrictLower
altarica#Lower
altarica#StrictUpper
altarica#Upper
altarica#Imply
altarica#NestedQualifiedEventRef
altarica#NestedQualifiedVariableRef