specless.automaton.dfa.SafetyDFABuilder

class specless.automaton.dfa.SafetyDFABuilder[source]

Bases: Builder

Implements the generic automaton builder class for SafetyDFA objects

Methods

load_YAML_config_data

reads in the object configuration parameters from a YAML config file
__call__(graph_data: {<class 'str'>}, graph_data_format: str = 'yaml', **kwargs: dict) → DFA[source]

Returns an initialized SafetyDFA instance given the graph_data

graph_data and graph_data_format must match

Parameters:

  • graph_data – The variable specifying graph data

  • graph_data_format – The graph data file format. {‘yaml’}

  • kwargs – The keywords arguments to the specific constructors

Returns:

instance of an initialized SafetyDFA object

Raises:

ValueError – checks if graph_data and graph_data_format have a compatible data loader

static load_YAML_config_data(config_file_name: str) → dict

reads in the object configuration parameters from a YAML config file

Parameters:

config_file_name ((filepath) string) – The YAML configuration file name

Returns:

configuration data dictionary for the simulation

Return type:

dict