mcrl2/pbes/pbessolve_vertex_set.h

Include file:

#include "mcrl2/pbes/pbessolve_vertex_set.h"

add your file description here.

Classes

  • mcrl2::pbes_system::deque_vertex_set
  • mcrl2::pbes_system::vertex_set

Functions

vertex_set mcrl2::pbes_system::compute_attractor_set(const StructureGraph &G, vertex_set A, std::size_t alpha)
bool mcrl2::pbes_system::includes_successors(const StructureGraph &G, typename StructureGraph::index_type u, const vertex_set &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)
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)

Functions

void mcrl2::pbes_system::detail::log_vertex_set(const vertex_set &V, const std::string &name)
std::vector<T> mcrl2::pbes_system::detail::sorted(const std::vector<T> &x)