next up previous contents
Next: Keywords Up: An Optimix Specification Previous: Outline

Lexical parts

Lexical items of specifications are the following:


\begin{verbsyntax}\onerule{String}{''' any ''' \vert '''' any ''''} \onerule{Di... ...ock}{'\{' any '\}'} \onerule{TargetPredicate}{'\{*' any '*\}'} \end{verbsyntax}

 
Uwe Assmann
1998-12-22