GameState Struct Reference

Helper class for simulation game graphs. More...

Public Types
using	Player = int

Public Member Functions
	GameState (State s, State d, Player p, BDD l)
bool	operator< (GameState const &other) const
bool	operator== (GameState const &other) const
void	print (ostream &os) const

Public Attributes
State	sstate
State	dstate
Player	player
BDD	letter

Detailed Description

Helper class for simulation game graphs.

---

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

• LTS/Parity.cc