specless.factory.tspbuilder.TSPWithTPOBuilder

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

Converts Transition System To a TSP Problem

Methods

`add_initial_state`
`build_mappings_from_ts`
`convert_global_constraints`
`convert_local_constraints`
`convert_tpo`	Convert the original TPO whose nodes are labeled with the observation names to a TPO with numbered nodes that correspond to the TSP problem.
`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

Translate a MiniGrid Transition System to a TSP with

Convert the original TPO whose nodes are labeled with the observation names to a TPO with numbered nodes that correspond to the TSP problem.

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