next up previous contents
Next: Boolean functions Up: Trace format Previous: Comments   Contents

File Header

The file header consists of the input and output sections. Both sections list variables which appear in functions specified in the structure section. Specification of these sections is shown in Figure [*]. The field <var> is the name of a variable and uses any combination of alphabetic and numeric characters and underscore. A variable list may be continued over several lines. Its terminating character is ';'.



John Franco 2011-09-15