specless.automaton.pdfa.PDFABuilder

class specless.automaton.pdfa.PDFABuilder[source]

Bases: Builder

Implements the generic automaton builder class for PDFA objects

Methods

load_YAML_config_data

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

Returns an initialized PDFA 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’, ‘fdfa_object’}

  • kwargs – The keywords arguments to the specific constructors

Returns:

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