START:

START    ::= INSTANTIATE '(' ATOM ')'
           | EXPR

no references

EXPR:

EXPR     ::= ( TERM sum )* SEL

referenced by:

• FUNC
• START
• TERM

TERM:

TERM     ::= '(' EXPR ')'
           | FACT ( ( dot | DL INDID DL ) EXPR )?
           | KR FACT EXPR

referenced by:

• EXPR
• SEL

FACT:

FACT     ::= SATOM ( power '{' ( SINTEGER | SATOM ) '}' )?

referenced by:

• TERM

SATOM:

SATOM    ::= sum? ATOM

referenced by:

• FACT

SINTEGER:

SINTEGER ::= sum? integer

referenced by:

• FACT

INDID:

INDID    ::= VARID ( ( DL VARID )? '&' VARID )?

referenced by:

• SEL
• TERM

ATOM:

ATOM     ::= FUNC
           | VARID

referenced by:

• SATOM
• SEL
• START

VARID:

VARID    ::= VarID

referenced by:

• ATOM
• FUNC
• INDID

FUNC:

FUNC     ::= ( ( ( Ufunc | Root ) '(' | ( 'Diff' | 'diff' ) '(' EXPR ',' ) EXPR | Integral '(' EXPR '::' VARID IN '[' VARID ',' VARID ']' ) ')'

referenced by:

• ATOM

SEL:

SEL      ::= Selection '(' SEL ',' INDID ',' INDID ')'
           | TERM
           | ATOM

referenced by:

• EXPR
• SEL

Ufunc:

Ufunc    ::= 'inv'
           | 'sqrt'
           | 'exp'
           | 'log'
           | 'sin'
           | 'cos'
           | 'tan'
           | 'asin'
           | 'acos'
           | 'atan'
           | 'sign'
           | 'neg'
           | 'abs'
           | 'min'
           | 'max'

referenced by:

• FUNC

VarID:

VarID    ::= [a-zA-z_]+

referenced by:

• VARID

... generated by Railroad Diagram Generator