as2fm.jani_generator.jani_entries.jani_assignment.JaniAssignment

class as2fm.jani_generator.jani_entries.jani_assignment.JaniAssignment(assignment_dict: dict)

Bases: object

Assignment in Jani.

__init__(assignment_dict: dict)

Initialize the assignment from a dictionary

Methods

__init__(assignment_dict)

Initialize the assignment from a dictionary

as_dict(constants)

Transform the assignment to a dictionary

as_dict(constants: Dict[str, JaniConstant])

Transform the assignment to a dictionary