Include file:
#include "mcrl2/bes/index_traits.h"
add your file description here.
mcrl2::bes::
::
on_delete_boolean_variable
register_boolean_variable_hooks
mcrl2/bes/gauss_elimination.h
mcrl2/bes/io.h