diff --git a/examples/petrinet/models/schedule.od b/examples/petrinet/models/schedule.od index 3dce69d..1584a7c 100644 --- a/examples/petrinet/models/schedule.od +++ b/examples/petrinet/models/schedule.od @@ -8,13 +8,9 @@ transitions:Match{ d:Data_modify { - rename = ' + modify_dict = ' { - "tr": null - }'; - delete = ' - { - "tr": null + "tr": "t" }'; } diff --git a/examples/schedule/ScheduledActionGenerator.py b/examples/schedule/ScheduledActionGenerator.py index 34b1b96..0f91121 100644 --- a/examples/schedule/ScheduledActionGenerator.py +++ b/examples/schedule/ScheduledActionGenerator.py @@ -8,17 +8,17 @@ from concrete_syntax.textual_od import parser as parser_od from concrete_syntax.textual_cd import parser as parser_cd from api.od import ODAPI from bootstrap.scd import bootstrap_scd -from examples.petrinet.schedule import Schedule from examples.schedule.generator import schedule_generator from examples.schedule.schedule_lib import End, NullNode from framework.conformance import Conformance, render_conformance_check_result from state.devstate import DevState + class ScheduleActionGenerator: def __init__(self, rule_executer, schedulefile:str): self.rule_executer = rule_executer self.rule_dict = {} - self.schedule: Schedule + self.schedule: "Schedule" self.state = DevState()