Aorai plugin (AKA Ltl_to_acsl).
Compute the set of possible state at each function call and return.
true if the user declares that its ya automaton is deterministic.
true
Datatype for the keys of the hashtbl.
Datatype for the keys of the map.
Basic simplification over Promelaast.typed_condition
Promelaast.typed_condition
The abstract tree of LTL formula.
Build a datatype of the hashtbl according to the datatype of values in the hashtbl.
Build a datatype of the map according to the datatype of values in the map.
The abstract tree of promela representation.