mcrl2/bes/index_traits.h

Include file:

#include "mcrl2/bes/index_traits.h"

add your file description here.

Functions

void mcrl2::bes::on_create_boolean_variable(const atermpp::aterm &t)
void mcrl2::bes::on_delete_boolean_variable(const atermpp::aterm &t)
void mcrl2::bes::register_boolean_variable_hooks()