pbessolve_vertex_set.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::deque_vertex_set
struct	mcrl2::pbes_system::vertex_set
struct	mcrl2::pbes_system::lazy_union
class	mcrl2::pbes_system::strategy_vector

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

Functions
std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &out, const vertex_set &V)
vertex_set	mcrl2::pbes_system::set_union (const vertex_set &V, const vertex_set &W)
template<typename VertexSet >
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)
std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &out, const lazy_union &V)
bool	mcrl2::pbes_system::is_subset_of (const vertex_set &V, const vertex_set &W)
template<typename StructureGraph , typename VertexSet >
structure_graph::index_type	mcrl2::pbes_system::find_successor_in (const StructureGraph &G, structure_graph::index_type u, const VertexSet &A)
template<typename StructureGraph >
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 strategy_vector &tau_alpha)
std::string	mcrl2::pbes_system::print_strategy_vector (const vertex_set &S_alpha, const strategy_vector &tau_alpha)
template<typename StructureGraph >
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)
template<typename StructureGraph >
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)
template<typename StructureGraph >
std::set< structure_graph::index_type >	mcrl2::pbes_system::extract_minimal_structure_graph (StructureGraph &G, typename StructureGraph::index_type init, bool is_disjunctive)

Detailed Description

add your file description here.

Definition in file pbessolve_vertex_set.h.