specless.automaton.transition_system.TSBuilder

class specless.automaton.transition_system.TSBuilder[source]

Bases: Builder

Implements the generic automaton builder class for TransitionSystem objects

Methods

load_YAML_config_data

reads in the object configuration parameters from a YAML config file
__call__(graph_data: {<class 'str'>, <class 'specless.wrapper.tswrapper.TransitionSystemWrapper'>}) → TransitionSystem[source]

Returns an initialized TransitionSystem instance given the graph_data

graph_data and graph_data_format must match

Parameters:

  • graph_data – The graph configuration data {str, Minigrid environment wrapper}

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

Returns:

instance of an initialized TransitionSystem 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