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