#include <ParityGame.h>

Public Attributes
player_t	player
	the vertex owner (i.e. next player to move)

priority_t	priority
	the priority of the vertex between 0 and `d` (exclusive).

Detailed Description

Parity Game data associated with each vertex in the game graph.

Definition at line 59 of file ParityGame.h.

Member Data Documentation

player_t ParityGameVertex::player

the vertex owner (i.e. next player to move)

Definition at line 62 of file ParityGame.h.

priority_t ParityGameVertex::priority

the priority of the vertex between 0 and d (exclusive).

Definition at line 65 of file ParityGame.h.

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