mcrl2::pbes_system::strategy_vector Class Reference

#include <pbessolve_vertex_set.h>

Public Member Functions
structure_graph::index_type	operator[] (std::size_t i) const
structure_graph::index_type &	operator[] (std::size_t i)
std::size_t	size () const
void	truncate (std::size_t n)
const std::vector< structure_graph::index_type > &	strategy () const

Protected Member Functions
void	resize (std::size_t n) const

Protected Attributes
std::vector< structure_graph::index_type >	m_strategy

Detailed Description

Definition at line 368 of file pbessolve_vertex_set.h.

Member Function Documentation

operator[]() [1/2]

structure_graph::index_type & mcrl2::pbes_system::strategy_vector::operator[] ( std::size_t  i )

inline

Definition at line 398 of file pbessolve_vertex_set.h.

operator[]() [2/2]

structure_graph::index_type mcrl2::pbes_system::strategy_vector::operator[] ( std::size_t  i ) const

inline

Definition at line 389 of file pbessolve_vertex_set.h.

resize()

void mcrl2::pbes_system::strategy_vector::resize ( std::size_t  n ) const

inlineprotected

Definition at line 374 of file pbessolve_vertex_set.h.

size()

std::size_t mcrl2::pbes_system::strategy_vector::size ( ) const

inline

Definition at line 407 of file pbessolve_vertex_set.h.

strategy()

const std::vector< structure_graph::index_type > & mcrl2::pbes_system::strategy_vector::strategy ( ) const

inline

Definition at line 422 of file pbessolve_vertex_set.h.

truncate()

void mcrl2::pbes_system::strategy_vector::truncate ( std::size_t  n )

inline

Definition at line 413 of file pbessolve_vertex_set.h.

Member Data Documentation

m_strategy

std::vector<structure_graph::index_type> mcrl2::pbes_system::strategy_vector::m_strategy

mutableprotected

Definition at line 371 of file pbessolve_vertex_set.h.

---

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

• pbes/include/mcrl2/pbes/pbessolve_vertex_set.h