Parity::OSPGame Class Reference

Helper class to solve 3-priority parity games. More...

Public Types
using	Measure = long

Public Member Functions
	OSPGame (Parity const &graph, StateSet const &spoilerStates)
	Constructor.
void	lift (void)
	Computes progress measures.
void	statesAndStrategies (StateSet &dwinning, StateMap &dstrategy, StateMap &sstrategy) const
	Retrieve duplicator's winning states and strategy.

Detailed Description

Helper class to solve 3-priority parity games.

The game is between the maximizing Spolier and the minimizing Duplicator.

---

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

• LTS/Parity.cc