spot::game_relabeling_map Struct Reference

Pair of relabeling maps for environment and player edges in a synthesis game. More...

#include <spot/twaalgos/synthesis.hh>

Collaboration diagram for spot::game_relabeling_map:

Public Attributes
relabeling_map	env_map
	Map for environment edges. More...
relabeling_map	player_map
	Map for player edges. More...

Detailed Description

Pair of relabeling maps for environment and player edges in a synthesis game.

Member Data Documentation

env_map

relabeling_map spot::game_relabeling_map::env_map

Map for environment edges.

player_map

relabeling_map spot::game_relabeling_map::player_map

Map for player edges.

---

The documentation for this struct was generated from the following file:

• spot/twaalgos/synthesis.hh