as2fm.jani_generator.jani_entries.jani_guard.JaniGuard
- class as2fm.jani_generator.jani_entries.jani_guard.JaniGuard(guard_exp: JaniGuard | JaniExpression | dict | None)
Bases:
object
- __init__(guard_exp: JaniGuard | JaniExpression | dict | None)
Construct a new JaniGuard object.
It checks against an expression that can be provided as a dict (with the ‘exp’ key) or a JaniExpression variable.
- Parameters:
guard_exp – The expression that must hold for the guard to be ok.
Methods
__init__
(guard_exp)Construct a new JaniGuard object.
as_dict
([_])get_expression
()