Include file:
#include "mcrl2/pbes/rewriters/bqnf_rewriter.h"
add your file description here.
mcrl2::pbes_system::bqnf_rewriter
mcrl2/pbes/bisimulation_type.h
mcrl2/pbes/builder.h
