mcrl2::pbes_system::equation_index

Include file:

#include "mcrl2/pbes/equation_index.h

class mcrl2::pbes_system::equation_index

Maps variables to their corresponding equations in a boolean_equation_system or PBES.

Protected types

type mcrl2::pbes_system::equation_index::equation_type

typedef for EquationSystem::equation_type

type mcrl2::pbes_system::equation_index::variable_type

typedef for equation_type::variable_type

Protected attributes

const EquationSystem &mcrl2::pbes_system::equation_index::m_equations

std::map<core::identifier_string, std::size_t> mcrl2::pbes_system::equation_index::m_index

Public member functions

const equation_type &equation(const variable_type &x) const

Returns the equation corresponding to the given variable.

equation_index(const EquationSystem &p)

Constructor.

std::size_t index(const core::identifier_string &name) const

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