RecursiveSolver.cpp File Reference

Go to the source code of this file.

Functions
static std::vector< verti >	get_complement (verti V, const DenseSet< verti > &s)
int	first_inversion (const ParityGame &game)

Function Documentation

first_inversion()

int first_inversion

(

const ParityGame &

game

)

Returns the first inversion in parity for priorities occurring in the given game; i.e. the least value 'psuch that there is a priorityq` such that cardinality(q) > 0 && cardinality(p) > 0 && q < p && q%2 != p%2.

If there are no inversions, the priority limit, d, is returned instead.

Definition at line 44 of file RecursiveSolver.cpp.

get_complement()

static std::vector< verti > get_complement ( verti  V, const DenseSet< verti > &  s  )

static

Returns the complement of a vertex set.

This function returns a vector of increasing vertex indices between 0 and V (exclusive) where 0 <= v < V is in the result iff. it is not included in the set s.

Definition at line 20 of file RecursiveSolver.cpp.