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
get_expression()	Return the expression assigned to the target variable (or array entry)
get_index()	Returns the index, i.e. the number that defines the order of execution in Jani.
get_target()	Return the variable storing the expression result.

as_dict(constants: Dict[str, JaniConstant])

Transform the assignment to a dictionary

get_expression()

Return the expression assigned to the target variable (or array entry)

get_index() → int

Returns the index, i.e. the number that defines the order of execution in Jani.

get_target()

Return the variable storing the expression result.