mcrl2/pbes/pbessolve_vertex_set.h

Include file:

#include "mcrl2/pbes/pbessolve_vertex_set.h"

add your file description here.

Classes

Functions

std::set<structure_graph::index_type> mcrl2::pbes_system::extract_minimal_structure_graph(StructureGraph &G, typename StructureGraph::index_type init, const vertex_set &S0, const vertex_set &S1)
std::set<structure_graph::index_type> mcrl2::pbes_system::extract_minimal_structure_graph(StructureGraph &G, typename StructureGraph::index_type init, const vertex_set &S0, const vertex_set &S1, const strategy_vector &tau0, const strategy_vector &tau1)
std::set<structure_graph::index_type> mcrl2::pbes_system::extract_minimal_structure_graph(StructureGraph &G, typename StructureGraph::index_type init, bool is_disjunctive)
structure_graph::index_type mcrl2::pbes_system::find_successor_in(const StructureGraph &G, structure_graph::index_type u, const VertexSet &A)
bool mcrl2::pbes_system::is_subset_of(const vertex_set &V, const vertex_set &W)
void mcrl2::pbes_system::log_vertex_set(const StructureGraph &G, const vertex_set &V, const std::string &name)
std::ostream &mcrl2::pbes_system::operator<<(std::ostream &out, const vertex_set &V)
std::ostream &mcrl2::pbes_system::operator<<(std::ostream &out, const lazy_union &V)
std::ostream &mcrl2::pbes_system::operator<<(std::ostream &out, const strategy_vector &tau_alpha)
std::string mcrl2::pbes_system::print_strategy_vector(const vertex_set &S_alpha, const strategy_vector &tau_alpha)
vertex_set mcrl2::pbes_system::set_intersection(const VertexSet &V, const vertex_set &W)
vertex_set mcrl2::pbes_system::set_minus(const vertex_set &V, const vertex_set &W)
vertex_set mcrl2::pbes_system::set_union(const vertex_set &V, const vertex_set &W)