mcrl2/data/index_traits.h

Include file:

#include "mcrl2/data/index_traits.h"

add your file description here.

Functions

void mcrl2::data::on_create_function_symbol(const atermpp::aterm &t)
void mcrl2::data::on_create_variable(const atermpp::aterm &t)
void mcrl2::data::on_delete_function_symbol(const atermpp::aterm &t)
void mcrl2::data::on_delete_variable(const atermpp::aterm &t)
void mcrl2::data::register_function_symbol_hooks()
void mcrl2::data::register_variable_hooks()