dag_declaration

Kind: production

Record: pag:production-dag-declaration

Canonical: Grammar

"DAG" <dag_name> ":" <dag_item>+

Listed in Grammar records, after state_machine_declaration and before priority_queue_declaration.

Grounds

• representation:graph
• invariant:epi-declared-dependency

Linked from

• The invariants