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()