mcrl2::pbes_system::structure_graph::vertices_not_contained_in Struct Reference

#include <structure_graph.h>

Public Member Functions
	vertices_not_contained_in (const vertex_vector &vertices_, const boost::dynamic_bitset<> &subset_)
bool	operator() (const vertex &v) const

Public Attributes
const vertex_vector &	vertices
const boost::dynamic_bitset &	subset

Detailed Description

Definition at line 131 of file structure_graph.h.

Constructor & Destructor Documentation

vertices_not_contained_in()

mcrl2::pbes_system::structure_graph::vertices_not_contained_in::vertices_not_contained_in ( const vertex_vector &  vertices_, const boost::dynamic_bitset<> &  subset_  )

inline

Definition at line 136 of file structure_graph.h.

Member Function Documentation

operator()()

bool mcrl2::pbes_system::structure_graph::vertices_not_contained_in::operator() ( const vertex &  v ) const

inline

Definition at line 141 of file structure_graph.h.

Member Data Documentation

subset

const boost::dynamic_bitset& mcrl2::pbes_system::structure_graph::vertices_not_contained_in::subset

Definition at line 134 of file structure_graph.h.

vertices

const vertex_vector& mcrl2::pbes_system::structure_graph::vertices_not_contained_in::vertices

Definition at line 133 of file structure_graph.h.

---

The documentation for this struct was generated from the following file:

• pbes/include/mcrl2/pbes/structure_graph.h