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 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)
void insert_edge(std::vector<structure_graph::vertex> &V, structure_graph::index_type ui, structure_graph::index_type vi) const
std::pair<vertex_set, vertex_set> solve_recursive(structure_graph &G)
std::pair<vertex_set, vertex_set> solve_recursive_extended(structure_graph &G)