/*#SDTREF */ /* */ ' ' " " + - * / == /= := = < <= > >= . ! // and mod not or rem xor active adding all alternative any as atleast axioms block call channel comment connect connection constant constants create dcl decision default else end endalternative endblock endchannel endconnection enddecision endgenerator endmacro endnewtype endoperator endpackage endprocedure endprocess endrefinement endselect endservice endstate endsubstructure endsyntype endsystem env error export exported external fi finalized for fpar from gate generator if import imported in inherits input interface join literal literals macro macrodefinition macroid map nameclass newtype nextstate nodelay noequality none now offspring operator operators ordering out output package parent priority procedure process provided redefined referenced refinement remote reset return returns revealed reverse route save select self sender service set signal signallist signalroute signalset spelling start state stop struct substructure synonym syntype system task then this timer to type use via view viewed virtual with Boolean Character Charstring Duration Integer Natural Real PId Time Array String Powerset false null true