SpecToLooPo input file format

A complete EBNF of the input language

main := (definition)* loops deps
definition := CONSTANT idlist | LOOPS ext_idlist | STATS ext_idlist | PSEUDOS idlist
idlist := id (, id)*
ext_idlist := term ( , term )*
loops :=
deps :=

Andreas Dischinger

$Id: input.html 1407 1998-06-08 08:40:34Z disching $