specless.factory.tspbuilder.TSPBuilder

class specless.factory.tspbuilder.TSPBuilder[source]

Converts Transition System To a TSP Problem

Methods

`add_initial_state`
`build_mappings_from_ts`
`get_all_pair_shortest_paths`
`load_YAML_config_data`	reads in the object configuration parameters from a YAML config file
`map_back_to_controls`
`node_list_to_edges`
`synthesize_strategy`

Attributes

`T`	TS States to Observations
`state_to_obs`	Observation to Multiple TS States
`obs_to_states`	Observation to Multiple TSP Nodes
`obs_to_nodes`	TS States to TSP Nodes bidict
`state_to_node`	all pair shortest paths

__call__(T: MinigridTransitionSystem, specification: Specification | None = None, initial_states=None, ignoring_obs_keys: List[str] = [], uniquelabel: bool = True) → TSP[source]

_summary_

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