mcrl2::pbes_system::structure_graph::integers_not_contained_in Struct Reference

#include <structure_graph.h>

Public Member Functions
	integers_not_contained_in (const boost::dynamic_bitset<> &subset_)
bool	operator() (index_type i) const

Public Attributes
const boost::dynamic_bitset &	subset

Detailed Description

Definition at line 117 of file structure_graph.h.

Constructor & Destructor Documentation

integers_not_contained_in()

mcrl2::pbes_system::structure_graph::integers_not_contained_in::integers_not_contained_in ( const boost::dynamic_bitset<> &  subset_ )

inlineexplicit

Definition at line 121 of file structure_graph.h.

Member Function Documentation

operator()()

bool mcrl2::pbes_system::structure_graph::integers_not_contained_in::operator() ( index_type  i ) const

inline

Definition at line 125 of file structure_graph.h.

Member Data Documentation

subset

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

Definition at line 119 of file structure_graph.h.

---

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

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