mcrl2/pbes/pbes_equation_index.h

Include file:

#include "mcrl2/pbes/pbes_equation_index.h"

add your file description here.

Classes

• mcrl2::pbes_system::pbes_equation_index

Functions

std::ostream &mcrl2::pbes_system::operator<<(std::ostream &out, const pbes_equation_index &index)