// Common-expanded class dictionary

Demeter_in  = <input > Input .
Input  : Cd_graph 
           *common* .
Cd_graph  = <adjacencies > Adjacency_Nlist 
            [ "*terminal_sets*" <terminal_sets > Vertex_Comma_list "."  ] .
Adjacency  = <source > Vertex 
            <ns > Neighbors 
            "." .
Neighbors  : Neighbors_wc   |
            Repetit_n 
           *common* .
Neighbors_wc  : Construct_ns   |
               Alternat_ns 
           *common* .
Construct_ns  = "=" 
               <construct_ns > Any_vertex_List .
Alternat_ns  = ":" 
              <alternat_ns > Term_Bar_list 
               [ <common > Common  ] 
              <construct_ns > Any_vertex_List .
Common  = "*common*" .
Repetit_n  = "~" 
            <sandwiched > Kernel_Sandwich .
Kernel  =  [ <nonempty > Term  ] 
         "{" 
         <repeated > Term_Sandwich 
         "}" .
Any_vertex  : Opt_labeled_term   |
             Optional_term   |
             Syntax_vertex   |
             Inherit_term 
           *common* .
Vertex  = <vertex_name > DemIdent .
Syntax_vertex  : Regular_syntax   |
                Print_command 
           *common* .
Regular_syntax  = <string > DemString .
Print_command  : Print_indent   |
                Print_unindent   |
                Print_skip   |
                Print_space 
           *common* .
Print_indent  = "+" .
Print_unindent  = "-" .
Print_skip  = "*l" .
Print_space  = "*s" .
Opt_labeled_term  : Labeled   |
                   Regular 
           *common* .
StaticSpec  = "*static*" .
AccessorSpec  : ReadOnlyAcc   |
               PrivateAcc 
           *common* .
ReadOnlyAcc  = "*read-only*" .
PrivateAcc  = "*private*" .
Regular  =  [ <staticspec > StaticSpec  ] 
           [ <accessorspec > AccessorSpec  ] 
          <vertex > Term .
Labeled  = "<" 
          <label_name > DemIdent 
          ">" 
           [ <staticspec > StaticSpec  ] 
           [ <accessorspec > AccessorSpec  ] 
          <vertex > Term .
Inherit_term  = "*inherit*" 
               <inherited > Term_Comma_list .
Term  : Normal   |
       CppTerm 
           *common* .
CppTerm  = "$" 
          <vertex > Vertex 
          <moduleRef > TermRef 
           [ "(" <actual_parameters > Term_Comma_list ")"  ] .
TermRef  : LocalRef   |
          ModuleRef 
           *common* .
ModuleRef  : CompRef   |
            LibRef 
           *common* .
LocalRef  = .
CompRef  = "@" 
          <moduleName > DemIdent .
LibRef  = "@@" 
         <moduleName > DemIdent .
Normal  = <vertex > Vertex 
         <moduleRef > TermRef 
          [ "(" <actual_parameters > Term_Comma_list ")"  ] .
Optional_term  = "[" 
                <opt > Opt_labeled_term_Sandwich 
                "]" .
Adjacency_Nlist  ~ Adjacency { Adjacency } .
Vertex_Comma_list  ~ Vertex { "," Vertex } .
Any_vertex_List  ~ { Any_vertex } .
Term_Bar_list  ~ Term { "|" Term } .
Kernel_Sandwich  = <first > Syntax_vertex_List 
                  <inner > Kernel 
                  <second > Syntax_vertex_List .
Term_Sandwich  = <first > Syntax_vertex_List 
                <inner > Term 
                <second > Syntax_vertex_List .
Term_Comma_list  ~ Term { "," Term } .
Opt_labeled_term_Sandwich  = <first > Syntax_vertex_List 
                            <inner > Opt_labeled_term 
                            <second > Syntax_vertex_List .
Syntax_vertex_List  ~ { Syntax_vertex } .
   *terminal_sets* DemText , DemReal , DemString , DemIdent , DemNumber .