mcrl2/pbes/index_traits.h

Include file:

#include "mcrl2/pbes/index_traits.h"

add your file description here.

Functions

void mcrl2::pbes_system::on_create_propositional_variable_instantiation(const atermpp::aterm &t)
void mcrl2::pbes_system::on_delete_propositional_variable_instantiation(const atermpp::aterm &t)
void mcrl2::pbes_system::register_propositional_variable_instantiation_hooks()