mcrl2::pbes_system::solve_structure_graph_algorithm¶
Include file:
#include "mcrl2/pbes/solve_structure_graph.h
-
class
mcrl2::pbes_system::solve_structure_graph_algorithm¶
Protected attributes¶
-
bool
mcrl2::pbes_system::solve_structure_graph_algorithm::check_strategy¶
-
bool
mcrl2::pbes_system::solve_structure_graph_algorithm::use_toms_optimization¶
Protected static member functions¶
-
static void
insert_edge(atermpp::vector<structure_graph::vertex> &V, structure_graph::index_type ui, structure_graph::index_type vi)¶
-
static structure_graph::index_type
succ(const structure_graph &G, structure_graph::index_type u)¶
-
static structure_graph::index_type
succ(const structure_graph &G, structure_graph::index_type u, const vertex_set &U)¶
Public member functions¶
-
bool
solve(structure_graph &G)¶
-
std::pair<vertex_set, vertex_set>
solve_recursive(structure_graph &G, const vertex_set &A)¶
-
solve_structure_graph_algorithm(bool check_strategy_ = false, bool use_toms_optimization_ = false)¶
Protected member functions¶
-
void
check_solve_recursive_solution(const structure_graph &G, bool is_disjunctive, const vertex_set &Wdisj, const vertex_set &Wconj)¶
-
std::pair<vertex_set, vertex_set>
solve_recursive(structure_graph &G)¶
-
std::pair<vertex_set, vertex_set>
solve_recursive_extended(structure_graph &G)¶
