mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
mcrl2::pbes_system::deque_vertex_set Struct Reference

#include <pbessolve_vertex_set.h>

Public Member Functions

 deque_vertex_set ()=default
 
 deque_vertex_set (std::size_t N)
 
template<typename Iter >
 deque_vertex_set (std::size_t N, Iter first, Iter last)
 
bool is_empty () const
 
bool contains (structure_graph::index_type u) const
 
void insert (structure_graph::index_type u)
 
void clear ()
 
std::size_t extent () const
 
const std::deque< structure_graph::index_type > & vertices () const
 
std::size_t size () const
 
const boost::dynamic_bitset & include () const
 
structure_graph::index_type pop_front ()
 
structure_graph::index_type pop_back ()
 
bool operator== (const deque_vertex_set &other) const
 
bool operator!= (const deque_vertex_set &other) const
 

Protected Attributes

std::deque< structure_graph::index_type > m_vertices
 
boost::dynamic_bitset m_include
 

Detailed Description

Definition at line 20 of file pbessolve_vertex_set.h.

Constructor & Destructor Documentation

◆ deque_vertex_set() [1/3]

mcrl2::pbes_system::deque_vertex_set::deque_vertex_set ( )
default

◆ deque_vertex_set() [2/3]

mcrl2::pbes_system::deque_vertex_set::deque_vertex_set ( std::size_t  N)
inlineexplicit

Definition at line 29 of file pbessolve_vertex_set.h.

◆ deque_vertex_set() [3/3]

template<typename Iter >
mcrl2::pbes_system::deque_vertex_set::deque_vertex_set ( std::size_t  N,
Iter  first,
Iter  last 
)
inline

Definition at line 34 of file pbessolve_vertex_set.h.

Member Function Documentation

◆ clear()

void mcrl2::pbes_system::deque_vertex_set::clear ( )
inline

Definition at line 64 of file pbessolve_vertex_set.h.

◆ contains()

bool mcrl2::pbes_system::deque_vertex_set::contains ( structure_graph::index_type  u) const
inline

Definition at line 48 of file pbessolve_vertex_set.h.

◆ extent()

std::size_t mcrl2::pbes_system::deque_vertex_set::extent ( ) const
inline

Definition at line 70 of file pbessolve_vertex_set.h.

◆ include()

const boost::dynamic_bitset & mcrl2::pbes_system::deque_vertex_set::include ( ) const
inline

Definition at line 85 of file pbessolve_vertex_set.h.

◆ insert()

void mcrl2::pbes_system::deque_vertex_set::insert ( structure_graph::index_type  u)
inline

Definition at line 53 of file pbessolve_vertex_set.h.

◆ is_empty()

bool mcrl2::pbes_system::deque_vertex_set::is_empty ( ) const
inline

Definition at line 43 of file pbessolve_vertex_set.h.

◆ operator!=()

bool mcrl2::pbes_system::deque_vertex_set::operator!= ( const deque_vertex_set &  other) const
inline

Definition at line 111 of file pbessolve_vertex_set.h.

◆ operator==()

bool mcrl2::pbes_system::deque_vertex_set::operator== ( const deque_vertex_set &  other) const
inline

Definition at line 106 of file pbessolve_vertex_set.h.

◆ pop_back()

structure_graph::index_type mcrl2::pbes_system::deque_vertex_set::pop_back ( )
inline

Definition at line 98 of file pbessolve_vertex_set.h.

◆ pop_front()

structure_graph::index_type mcrl2::pbes_system::deque_vertex_set::pop_front ( )
inline

Definition at line 90 of file pbessolve_vertex_set.h.

◆ size()

std::size_t mcrl2::pbes_system::deque_vertex_set::size ( ) const
inline

Definition at line 80 of file pbessolve_vertex_set.h.

◆ vertices()

const std::deque< structure_graph::index_type > & mcrl2::pbes_system::deque_vertex_set::vertices ( ) const
inline

Definition at line 75 of file pbessolve_vertex_set.h.

Member Data Documentation

◆ m_include

boost::dynamic_bitset mcrl2::pbes_system::deque_vertex_set::m_include
protected

Definition at line 24 of file pbessolve_vertex_set.h.

◆ m_vertices

std::deque<structure_graph::index_type> mcrl2::pbes_system::deque_vertex_set::m_vertices
protected

Definition at line 23 of file pbessolve_vertex_set.h.

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