Documentation

The type of variable identifiers used throughout the framework (LTL property variables and polynomial integer variables).

The numeric type used for integer event property values and polynomial arithmetic throughout the framework.

i, j ::= i + i | int · x | int, where int is an arbitrary integer