mCRL2
Loading...
Searching...
No Matches
ParityGame.h File Reference

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
 

Macro Definition Documentation

◆ ATTR_PACKED

#define ATTR_PACKED

Definition at line 23 of file ParityGame.h.

Typedef Documentation

◆ priority_t

typedef std::size_t priority_t

Type of priorities in the game

Definition at line 32 of file ParityGame.h.

Enumeration Type Documentation

◆ player_t

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.

Function Documentation

◆ operator!=()

bool operator!= ( const ParityGameVertex a,
const ParityGameVertex b 
)
inline

Definition at line 73 of file ParityGame.h.

◆ operator==()

bool operator== ( const ParityGameVertex a,
const ParityGameVertex b 
)
inline

Definition at line 68 of file ParityGame.h.

◆ opponent()

player_t opponent ( const player_t  p)
inline

Definition at line 40 of file ParityGame.h.

◆ swap()

void swap ( ParityGame a,
ParityGame b 
)
inline

Definition at line 328 of file ParityGame.h.

Variable Documentation

◆ ATTR_PACKED

enum player_t ATTR_PACKED