mcrl2::pbes_system::strategy_vector

Include file:

#include "mcrl2/pbes/pbessolve_vertex_set.h
class mcrl2::pbes_system::strategy_vector

Protected attributes

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

Protected member functions

void resize(std::size_t n) const

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
const std::vector<structure_graph::index_type> &strategy() const
void truncate(std::size_t n)