specless.automaton.product.ProductBuilder

class specless.automaton.product.ProductBuilder[source]

Bases: Builder

Implements the generic automaton builder class for Product objects

Methods

load_YAML_config_data

reads in the object configuration parameters from a YAML config file
__call__(graph_data: Tuple[TransitionSystem, PDFA], graph_data_format: str = 'existing_objects', **kwargs: dict) → Product[source]

Returns an initialized Product instance given the graph_data

graph_data and graph_data_format must match

Parameters:

  • graph_data – The graph configuration file name

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

  • kwargs – The keywords arguments to the specific constructors

Returns:

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