3. The Representation of an Action Code

  1. 3.1. The CCodeT Type

This depends on the output language but as only C is supported at the moment, we'll describe how the body of an action is represented.

3.1. The CCodeT Type

To represent the body of an action when the output language is C, sid uses the type CCodeT