VerifySCC Struct Reference

Public Member Functions
int	operator() (const verti *scc, std::size_t scc_size)
int	operator() (const verti *scc, std::size_t scc_size)

Public Attributes
const ParityGame &	game
const StaticGraph &	graph
const priority_t	prio
verti *const	error

Detailed Description

A functor that is used to verify the solution for a strongly-connected component of the game graph.

This is a separate class because the SCC decomposition algorithm expects a functor which is called for every component found.

See also

ParityGame::verify

Definition at line 27 of file ParityGame_verify.cpp.

Member Function Documentation

operator()() [1/2]

int VerifySCC::operator() ( const verti *  scc, std::size_t  scc_size  )

inline

Definition at line 34 of file ParityGame_verify.cpp.

operator()() [2/2]

int VerifySCC::operator() ( const verti *  scc, std::size_t  scc_size  )

inline

Definition at line 34 of file ParityGame_verify.cpp.

Member Data Documentation

error

verti *const VerifySCC::error

Definition at line 32 of file ParityGame_verify.cpp.

game

const ParityGame & VerifySCC::game

Definition at line 29 of file ParityGame_verify.cpp.

graph

const StaticGraph & VerifySCC::graph

Definition at line 30 of file ParityGame_verify.cpp.

prio

const priority_t VerifySCC::prio

Definition at line 31 of file ParityGame_verify.cpp.

---

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

• pg/source/ParityGame_verify.cpp