ParityGameSolver.cpp File Reference

Go to the source code of this file.

Functions
void	merge_strategies (std::vector< verti > &strategy, const std::vector< verti > &substrat, const std::vector< verti > &vertex_map)

Function Documentation

merge_strategies()

void merge_strategies	(	std::vector< verti > &	strategy,
		const std::vector< verti > &	substrat,
		const std::vector< verti > &	vertex_map
	)

Merge a substrategy into a main strategy. Overwrites the existing strategy for all vertices with indices in vertex_map.

Definition at line 12 of file ParityGameSolver.cpp.