add your file description here. More...

Classes
class	mcrl2::pbes_system::solve_structure_graph_algorithm

class	mcrl2::pbes_system::lps_solve_structure_graph_algorithm

class	mcrl2::pbes_system::lts_solve_structure_graph_algorithm

Namespaces
namespace	mcrl2

namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Functions
std::tuple< std::size_t, std::size_t, vertex_set >	mcrl2::pbes_system::get_minmax_rank (const structure_graph &G)

bool	mcrl2::pbes_system::solve_structure_graph (structure_graph &G, bool check_strategy=false)

std::pair< bool, std::unordered_map< pbes_expression, structure_graph::index_type > >	mcrl2::pbes_system::solve_structure_graph_winning_mapping (structure_graph &G, bool check_strategy=false)
	Returns a mapping from PBES variable instantations to vertices in the structure graph for vertices won by player alpha.

std::pair< bool, lps::specification >	mcrl2::pbes_system::solve_structure_graph_with_counter_example (structure_graph &G, const lps::specification &lpsspec, const pbes &p, const pbes_equation_index &p_index)

bool	mcrl2::pbes_system::solve_structure_graph_with_counter_example (structure_graph &G, lts::lts_lts_t &ltsspec)
	Solve this pbes_system using a structure graph generating a counter example.

Detailed Description

add your file description here.

Classes