Allow arithmetic operations on constants

imitator-model-checker / imitator

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

https://www.imitator.fr/

GNU General Public License v3.0

26 stars 12 forks source link

Allow arithmetic operations on constants #189

Open etienneandre opened 5 months ago

etienneandre commented 5 months ago

Allow arithmetic operations on constants to be able to write:

A = 2,
B = 3,
C = 4,
    : rational;

(* … *)
when x / B <= A * B / C goto someloc;