Supplementing the Model with Handwritten Code : Mapping Rational Statemate Types into C : General Operators

General Operators
 

Parameters to these operators are either enumerated values (literals) or variables. The T’VAL notation is used for non-unique literals.