From 965b35d6ae356a0aed8b7a044af62e868f1fab4e Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Tue, 5 Mar 2019 08:04:40 +0100 Subject: read instance name from PTA/DFA yaml file --- lib/automata.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/automata.py b/lib/automata.py index 96a724e..2d5c27c 100755 --- a/lib/automata.py +++ b/lib/automata.py @@ -258,7 +258,8 @@ class PTA: def __init__(self, state_names: list = [], accepting_states: list = None, - parameters: list = [], initial_param_values: list = None): + parameters: list = [], initial_param_values: list = None, + instance: str = None): """ Return a new PTA object. @@ -268,10 +269,12 @@ class PTA: accepting_states -- names of accepting states. By default, all states are accepting parameters -- names of PTA parameters initial_param_values -- initial value for each parameter + instance -- class used for generated C++ code """ self.state = dict([[state_name, State(state_name)] for state_name in state_names]) self.accepting_states = accepting_states.copy() if accepting_states else None self.parameters = parameters.copy() + self.instance = instance if initial_param_values: self.initial_param_values = initial_param_values.copy() else: @@ -380,6 +383,9 @@ class PTA: if 'states' in yaml_input: kwargs['state_names'] = yaml_input['states'] + if 'instance' in yaml_input: + kwargs['instance'] = yaml_input['instance'] + pta = cls(**kwargs) for trans_name in sorted(yaml_input['transition'].keys()): -- cgit v1.2.3