mCRL2
|
Go to the source code of this file.
Classes | |
struct | ParityGameVertex |
class | ParityGame |
Namespaces | |
namespace | mcrl2 |
A class that takes a linear process specification and checks all tau-summands of that LPS for confluence. | |
namespace | mcrl2::pbes_system |
The main namespace for the PBES library. | |
Macros | |
#define | ATTR_PACKED |
Typedefs | |
typedef std::size_t | priority_t |
Enumerations | |
enum | player_t { PLAYER_EVEN = 0 , PLAYER_ODD = 1 } |
Functions | |
player_t | opponent (const player_t p) |
bool | operator== (const ParityGameVertex &a, const ParityGameVertex &b) |
bool | operator!= (const ParityGameVertex &a, const ParityGameVertex &b) |
void | swap (ParityGame &a, ParityGame &b) |
Variables | |
enum player_t | ATTR_PACKED |
#define ATTR_PACKED |
Definition at line 23 of file ParityGame.h.
typedef std::size_t priority_t |
Type of priorities in the game
Definition at line 32 of file ParityGame.h.
enum player_t |
The two players in a parity game (Even and Odd)
Enumerator | |
---|---|
PLAYER_EVEN | Even (0) |
PLAYER_ODD | Odd (1) |
Definition at line 35 of file ParityGame.h.
|
inline |
Definition at line 73 of file ParityGame.h.
|
inline |
Definition at line 68 of file ParityGame.h.
Definition at line 40 of file ParityGame.h.
|
inline |
Definition at line 328 of file ParityGame.h.
enum player_t ATTR_PACKED |