Asm: asyncr asm module ID Header Body main MacroDeclaration Initialization default Initialization EOF no referencesHeader: ImportClause ExportClause Signature referenced by: Asm ImportClause: import MOD_ID ( ID_DOMAIN ID_FUNCTION ID_RULE , ) referenced by: Header ExportClause: export ID_DOMAIN ID_FUNCTION ID_RULE , * referenced by: Header Signature: signature : Domain Function referenced by: Header Initialization: init ID : DomainInitialization FunctionInitialization AgentInitialization referenced by: Asm DomainInitialization: domain ID_DOMAIN = Term referenced by: Initialization FunctionInitialization: function ID_FUNCTION ( VariableTerm in getDomainByID , ) = Term referenced by: Initialization AgentInitialization: agent ID_DOMAIN : MacroCallRule referenced by: Initialization Body: definitions : DomainDefinition FunctionDefinition RuleDeclaration InvarConstraint FairnessConstraint Property referenced by: Asm DomainDefinition: domain ID_DOMAIN = Term referenced by: Body FunctionDefinition: function ID_FUNCTION ( VariableTerm in getDomainByID , ) = Term referenced by: Body RuleDeclaration: MacroDeclaration TurboDeclaration referenced by: Body MacroDeclaration: macro rule ID_RULE ( VariableTerm in getDomainByID , ) = Rule referenced by: Asm RuleDeclaration TurboDeclaration: turbo rule ID_RULE ( VariableTerm in getDomainByID , ) in getDomainByID = Rule referenced by: RuleDeclaration Property: Invariant TemporalProperty referenced by: Body TemporalProperty: CtlSpec LtlSpec referenced by: Property Invariant: invariant ID_AXIOM over ID_DOMAIN ID_FUNCTION ( getDomainByID ) ID_RULE , : Term referenced by: Property CtlSpec: CTLSPEC ID_CTL : Term referenced by: TemporalProperty LtlSpec: LTLSPEC ID_LTL : Term referenced by: TemporalProperty FairnessConstraint: JusticeConstraint CompassionConstraint referenced by: Body JusticeConstraint: JUSTICE Term referenced by: FairnessConstraint CompassionConstraint: COMPASSION ( Term , Term referenced by: FairnessConstraint InvarConstraint: INVAR Term referenced by: Body Domain: ConcreteDomain TypeDomain referenced by: Signature ConcreteDomain: dynamic domain ID_DOMAIN subsetof getDomainByID referenced by: Domain TypeDomain: AnyDomain StructuredTD EnumTD AbstractTD BasicTD referenced by: Domain AnyDomain: anydomain ID_DOMAIN referenced by: TypeDomain BasicTD: basic domain ID_DOMAIN referenced by: TypeDomain AbstractTD: dynamic abstract domain ID_DOMAIN referenced by: TypeDomain EnumTD: enum domain ID_DOMAIN = { EnumElement | , } referenced by: TypeDomain EnumElement: ID_ENUM referenced by: EnumTD StructuredTD: RuleDomain ProductDomain SequenceDomain PowersetDomain BagDomain MapDomain referenced by: TypeDomain getDomainByID RuleDomain: Rule ( getDomainByID , ) referenced by: StructuredTD ProductDomain: Prod ( getDomainByID , getDomainByID ) referenced by: StructuredTD SequenceDomain: Seq ( getDomainByID ) referenced by: StructuredTD PowersetDomain: Powerset ( getDomainByID ) referenced by: StructuredTD BagDomain: Bag ( getDomainByID ) referenced by: StructuredTD MapDomain: Map ( getDomainByID , getDomainByID ) referenced by: StructuredTD getDomainByID: ID_DOMAIN StructuredTD referenced by: BagDomain ConcreteDomain ControlledFunction DerivedFunction DomainTerm FunctionDefinition FunctionInitialization Invariant LocalFunction MacroDcl MacroDeclaration MapDomain MonitoredFunction OutFunction PowersetDomain ProductDomain RuleDomain SequenceDomain SharedFunction StaticFunction TurboDeclaration Function: BasicFunction DerivedFunction referenced by: Signature BasicFunction: StaticFunction DynamicFunction referenced by: Function DerivedFunction: derived ID_FUNCTION : getDomainByID -> getDomainByID referenced by: Function StaticFunction: static ID_FUNCTION : getDomainByID -> getDomainByID referenced by: BasicFunction DynamicFunction: OutFunction MonitoredFunction SharedFunction ControlledFunction LocalFunction referenced by: BasicFunction LocalFunction: dynamic local ID_FUNCTION : getDomainByID -> getDomainByID referenced by: DynamicFunction TurboLocalStateRule ControlledFunction: dynamic controlled ID_FUNCTION : getDomainByID -> getDomainByID referenced by: DynamicFunction SharedFunction: dynamic shared ID_FUNCTION : getDomainByID -> getDomainByID referenced by: DynamicFunction MonitoredFunction: dynamic monitored ID_FUNCTION : getDomainByID -> getDomainByID referenced by: DynamicFunction OutFunction: dynamic out ID_FUNCTION : getDomainByID -> getDomainByID referenced by: DynamicFunction Term: TermForUpdateRule referenced by: BagCT BagTerm CaseRule CaseTerm ChooseRule CompassionConstraint ConditionalRule ConditionalTerm CtlSpec DomainDefinition DomainInitialization ExistTerm ExistUniqueTerm ForallRule ForallTerm FunctionDefinition FunctionInitialization InvarConstraint Invariant IterativeWhileRule JusticeConstraint LetRule LetTerm LtlSpec MacroCallRule MapCT MapTerm RecursiveWhileRule SequenceCT SequenceTerm SetCT SetTerm TermAsRule TryCatchRule TupleTerm TurboCallRule TermForUpdateRule: Expression ExtendedTerm referenced by: Term UpdateRule Expression: or_xorLogicExpr ID_FUNCTION referenced by: TermForUpdateRule basicExpr or_xorLogicExpr: andLogicExpr ID_FUNCTION referenced by: Expression andLogicExpr: relationalExpr ID_FUNCTION referenced by: or_xorLogicExpr relationalExpr: notLogicExpr = != < <= > >= referenced by: andLogicExpr notLogicExpr: ID_FUNCTION additiveExpr referenced by: relationalExpr additiveExpr: multiplicativeExpr + - referenced by: notLogicExpr multiplicativeExpr: powerExpr * / ID_FUNCTION referenced by: additiveExpr powerExpr: unaryExpr ^ referenced by: multiplicativeExpr unaryExpr: + - basicExpr referenced by: powerExpr basicExpr: BasicTerm DomainTerm FiniteQuantificationTerm ( Expression ) referenced by: unaryExpr BasicTerm: ConstantTerm VariableTerm FunctionTerm referenced by: basicExpr FunctionTerm: ID_AGENT . ID_FUNCTION TupleTerm referenced by: BasicTerm TermAsRule LocationTerm: ID_AGENT . ID_FUNCTION TupleTerm referenced by: TurboReturnRule UpdateRule VariableTerm: ID_VARIABLE referenced by: BagCT BasicTerm ChooseRule ExistTerm ExistUniqueTerm ExtendRule ForallRule ForallTerm FunctionDefinition FunctionInitialization LetRule LetTerm MacroDeclaration MapCT SequenceCT SetCT TermAsRule TurboDeclaration TurboReturnRule UpdateRule ConstantTerm: ComplexTerm RealTerm IntegerTerm NaturalTerm CharTerm StringTerm BooleanTerm undef EnumTerm referenced by: BasicTerm ComplexTerm: COMPLEX_NUMBER referenced by: ConstantTerm RealTerm: REAL_NUMBER referenced by: ConstantTerm IntegerTerm: NUMBER referenced by: ConstantTerm NaturalTerm: NATNUMBER referenced by: ConstantTerm CharTerm: CHAR_LITERAL referenced by: ConstantTerm StringTerm: STRING_LITERAL referenced by: ConstantTerm BooleanTerm: true false referenced by: ConstantTerm EnumTerm: ID_ENUM referenced by: ConstantTerm ExtendedTerm: ConditionalTerm CaseTerm TupleTerm VariableBindingTerm CollectionTerm RuleAsTerm DomainTerm referenced by: TermForUpdateRule ConditionalTerm: if Term then Term else Term endif referenced by: ExtendedTerm CaseTerm: switch Term case Term : Term otherwise Term endswitch referenced by: ExtendedTerm TupleTerm: ( Term , ) referenced by: ExtendedTerm FunctionTerm LocationTerm CollectionTerm: SequenceTerm MapTerm SetTerm BagTerm referenced by: ExtendedTerm SequenceTerm: [ Term , Term : Term , Term ] referenced by: CollectionTerm SetTerm: { Term , Term : Term , Term } referenced by: CollectionTerm MapTerm: { -> Term -> Term , } referenced by: CollectionTerm BagTerm: < Term , Term : Term , Term > referenced by: CollectionTerm VariableBindingTerm: LetTerm FiniteQuantificationTerm ComprehensionTerm referenced by: ExtendedTerm FiniteQuantificationTerm: ForallTerm ExistUniqueTerm ExistTerm referenced by: VariableBindingTerm basicExpr ExistTerm: ( exist VariableTerm in Term , with Term ) referenced by: FiniteQuantificationTerm ExistUniqueTerm: ( exist unique VariableTerm in Term , with Term ) referenced by: FiniteQuantificationTerm ForallTerm: ( forall VariableTerm in Term , with Term ) referenced by: FiniteQuantificationTerm LetTerm: let ( VariableTerm = Term , ) in Term endlet referenced by: VariableBindingTerm ComprehensionTerm: SetCT MapCT SequenceCT BagCT referenced by: VariableBindingTerm SetCT: { VariableTerm in Term , | Term : Term } referenced by: ComprehensionTerm MapCT: { VariableTerm in Term , | Term : Term -> Term | } referenced by: ComprehensionTerm SequenceCT: [ VariableTerm in Term , | Term : Term ] referenced by: ComprehensionTerm BagCT: < VariableTerm in Term , | Term : Term > referenced by: ComprehensionTerm DomainTerm: getDomainByID referenced by: ExtendedTerm basicExpr RuleAsTerm: << MacroDcl >> referenced by: ExtendedTerm MacroDcl: ID_RULE ( getDomainByID , ) referenced by: RuleAsTerm Rule: BasicRule TurboRule UpdateRule TurboReturnRule TermAsRule DerivedRule referenced by: BlockRule CaseRule ChooseRule ConditionalRule ExtendRule ForallRule IterateRule IterativeWhileRule LetRule MacroDeclaration RecursiveWhileRule SeqRule TryCatchRule TurboDeclaration TurboLocalStateRule TermAsRule: FunctionTerm VariableTerm [ Term , ] referenced by: Rule BasicRule: skip MacroCallRule BlockRule ConditionalRule ChooseRule ForallRule LetRule ExtendRule referenced by: Rule UpdateRule: LocationTerm VariableTerm := TermForUpdateRule referenced by: Rule BlockRule: par Rule Rule endpar referenced by: BasicRule ConditionalRule: if Term then Rule else Rule endif referenced by: BasicRule ChooseRule: choose VariableTerm in Term , with Term do Rule ifnone Rule referenced by: BasicRule ForallRule: forall VariableTerm in Term , with Term do Rule referenced by: BasicRule LetRule: let ( VariableTerm = Term , ) in Rule endlet referenced by: BasicRule MacroCallRule: ID_RULE [ Term , ] referenced by: AgentInitialization BasicRule ExtendRule: extend ID_DOMAIN with VariableTerm , do Rule referenced by: BasicRule TurboRule: SeqRule IterateRule TurboCallRule TurboLocalStateRule referenced by: Rule SeqRule: seq Rule Rule endseq referenced by: TurboRule IterateRule: iterate Rule enditerate referenced by: TurboRule TurboCallRule: ID_RULE ( Term , ) referenced by: TurboReturnRule TurboRule TurboReturnRule: LocationTerm VariableTerm <- TurboCallRule referenced by: Rule TurboLocalStateRule: LocalFunction [ Rule ] Rule referenced by: TurboRule TryCatchRule: try Rule catch Term , Rule no referencesDerivedRule: BasicDerivedRule TurboDerivedRule referenced by: Rule BasicDerivedRule: CaseRule referenced by: DerivedRule CaseRule: switch Term case Term : Rule otherwise Rule endswitch referenced by: BasicDerivedRule TurboDerivedRule: RecursiveWhileRule IterativeWhileRule referenced by: DerivedRule RecursiveWhileRule: whilerec Term do Rule referenced by: TurboDerivedRule IterativeWhileRule: while Term do Rule referenced by: TurboDerivedRule ID_VARIABLE: ID_VARIABLE referenced by: ID_VARIABLE VariableTerm ID_ENUM: ID_ENUM referenced by: EnumElement EnumTerm ID_ENUM ID_DOMAIN: ID_DOMAIN referenced by: AbstractTD AgentInitialization AnyDomain BasicTD ConcreteDomain DomainDefinition DomainInitialization EnumTD ExportClause ExtendRule ID_DOMAIN ImportClause Invariant getDomainByID ID_RULE: ID_RULE referenced by: ExportClause ID_RULE ImportClause Invariant MacroCallRule MacroDcl MacroDeclaration TurboCallRule TurboDeclaration ID_AXIOM: ID_AXIOM referenced by: ID_AXIOM Invariant ID_CTL: ID_CTL referenced by: CtlSpec ID_CTL ID_LTL: ID_LTL referenced by: ID_LTL LtlSpec ID_FUNCTION: ID_FUNCTION referenced by: ControlledFunction DerivedFunction ExportClause Expression FunctionDefinition FunctionInitialization FunctionTerm ID_AGENT ID_FUNCTION ImportClause Invariant LocalFunction LocationTerm MonitoredFunction OutFunction SharedFunction StaticFunction andLogicExpr multiplicativeExpr notLogicExpr or_xorLogicExpr ID_AGENT: ID_FUNCTION referenced by: FunctionTerm LocationTerm ID: ID referenced by: Asm ID Initialization MOD_ID: MOD_ID referenced by: ImportClause MOD_ID NUMBER: DIGIT referenced by: IntegerTerm NATNUMBER: DIGIT n referenced by: NaturalTerm REAL_NUMBER: DIGIT . DIGIT referenced by: RealTerm COMPLEX_NUMBER: + [#x2D] DIGIT . DIGIT + [#x2D] i DIGIT . DIGIT referenced by: ComplexTerm ID_VARIABLE: $ LETTER LETTER DIGIT referenced by: ID_VARIABLE VariableTerm ID_ENUM: [A-Z] [A-Z] _ [A-Z] DIGIT referenced by: EnumElement EnumTerm ID_ENUM ID_DOMAIN: [A-Z] _ [a-z] [A-Z] DIGIT referenced by: AbstractTD AgentInitialization AnyDomain BasicTD ConcreteDomain DomainDefinition DomainInitialization EnumTD ExportClause ExtendRule ID_DOMAIN ImportClause Invariant getDomainByID ID_RULE: r_ LETTER DIGIT referenced by: ExportClause ID_RULE ImportClause Invariant MacroCallRule MacroDcl MacroDeclaration TurboCallRule TurboDeclaration ID_AXIOM: inv_ LETTER DIGIT referenced by: ID_AXIOM Invariant ID_CTL: ctlSpec_ LETTER DIGIT referenced by: CtlSpec ID_CTL ID_LTL: ltlSpec_ LETTER DIGIT referenced by: ID_LTL LtlSpec ID_FUNCTION: [a-z] LETTER DIGIT referenced by: ControlledFunction DerivedFunction ExportClause Expression FunctionDefinition FunctionInitialization FunctionTerm ID_AGENT ID_FUNCTION ImportClause Invariant LocalFunction LocationTerm MonitoredFunction OutFunction SharedFunction StaticFunction andLogicExpr multiplicativeExpr notLogicExpr or_xorLogicExpr LETTER: _ [a-z] [A-Z] referenced by: ID ID_AXIOM ID_CTL ID_FUNCTION ID_LTL ID_RULE ID_VARIABLE DIGIT: [0-9] referenced by: COMPLEX_NUMBER ID ID_AXIOM ID_CTL ID_DOMAIN ID_ENUM ID_FUNCTION ID_LTL ID_RULE ID_VARIABLE NATNUMBER NUMBER REAL_NUMBER CHAR_LITERAL: ' [^'\#xA#xD] \ n t b r f \ ' " [0-3] [0-7] [0-7] ' referenced by: CharTerm STRING_LITERAL: " [^"\#xA#xD] \ n t b r f \ ' " [0-3] [0-7] [0-7] " referenced by: StringTerm ID: LETTER LETTER DIGIT referenced by: Asm ID Initialization MOD_ID: " \ . [^"] " [a-z] [A-Z] : \ / [a-z] [A-Z] [0-9] . _ [#x2D] referenced by: ImportClause MOD_ID _: [#xD] [#x9] [#xA] // [^#xA#xD] [#xA] [#xD] [#xA] /* [^*] * [^*] [^*/] / no referencesEOF: $ referenced by: Asm   ... generated by RR - Railroad Diagram Generator R R