Include file:
#include "mcrl2/pbes/enumerator.h"
add your file description here.
mcrl2::pbes_system::is_not_false
mcrl2::pbes_system::is_not_true
mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h
mcrl2/pbes/eqelm.h
