mcrl2::pbes_system::pbes_equation_index Struct Reference

#include <pbes_equation_index.h>

Public Member Functions
	pbes_equation_index ()=default
template<typename PBES >
	pbes_equation_index (const PBES &p)
std::size_t	index (const core::identifier_string &name) const
	Returns the index of the equation of the variable with the given name.
std::size_t	rank (const core::identifier_string &name) const
	Returns the rank of the equation of the variable with the given name.
std::size_t	max_rank () const
	Returns the rank of the equation of the variable with the given name.
std::size_t	max_index () const
	Returns the rank of the equation of the variable with the given name.

Public Attributes
std::unordered_map< core::identifier_string, std::pair< std::size_t, std::size_t > >	equation_index
std::size_t	m_max_rank =0
std::size_t	m_max_index =0

Detailed Description

Definition at line 19 of file pbes_equation_index.h.

Constructor & Destructor Documentation

pbes_equation_index() [1/2]

mcrl2::pbes_system::pbes_equation_index::pbes_equation_index ( )

default

pbes_equation_index() [2/2]

template<typename PBES >

mcrl2::pbes_system::pbes_equation_index::pbes_equation_index ( const PBES &  p )

inlineexplicit

Definition at line 29 of file pbes_equation_index.h.

Member Function Documentation

index()

std::size_t mcrl2::pbes_system::pbes_equation_index::index ( const core::identifier_string &  name ) const

inline

Returns the index of the equation of the variable with the given name.

Definition at line 55 of file pbes_equation_index.h.

max_index()

std::size_t mcrl2::pbes_system::pbes_equation_index::max_index ( ) const

inline

Returns the rank of the equation of the variable with the given name.

Definition at line 77 of file pbes_equation_index.h.

max_rank()

std::size_t mcrl2::pbes_system::pbes_equation_index::max_rank ( ) const

inline

Returns the rank of the equation of the variable with the given name.

Definition at line 71 of file pbes_equation_index.h.

rank()

std::size_t mcrl2::pbes_system::pbes_equation_index::rank ( const core::identifier_string &  name ) const

inline

Returns the rank of the equation of the variable with the given name.

Definition at line 63 of file pbes_equation_index.h.

Member Data Documentation

equation_index

std::unordered_map<core::identifier_string, std::pair<std::size_t, std::size_t> > mcrl2::pbes_system::pbes_equation_index::equation_index

Definition at line 22 of file pbes_equation_index.h.

m_max_index

std::size_t mcrl2::pbes_system::pbes_equation_index::m_max_index =0

Definition at line 24 of file pbes_equation_index.h.

m_max_rank

std::size_t mcrl2::pbes_system::pbes_equation_index::m_max_rank =0

Definition at line 23 of file pbes_equation_index.h.

---

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

• pbes/include/mcrl2/pbes/pbes_equation_index.h