Operators

This section describes operators and signatures related classes.

Signature and operator declarations are detailed in Operator declaration.

The body of an operator consists of sections, detailed as follows:

• Variable declaration in section Variable declarations

• Equation declaration in section Equations

• Activations and state machines, which are parts of equation concepts are described in separate sections: Activations and State machines

• Formal property sections for assume and guarantee are grouped in the section Assume/guarantee - emission, with the emission scope section

• Diagrams are detailed in section Diagrams

• Operator declaration
• Variable declarations
• Equations
• Activations
• State machines
• Assume/guarantee - emission
• Diagrams