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)¶

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

std::size_t size() const

const std::vector<structure_graph::index_type> &strategy() const¶

void truncate(std::size_t n)