mcrl2/data/index_traits.h¶

Include file:

#include "mcrl2/data/index_traits.h"

add your file description here.

Functions¶

void mcrl2::data::on_delete_function_symbol(const atermpp::aterm &t)¶

void mcrl2::data::register_function_symbol_hooks()¶