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