Include file:
#include "mcrl2/pbes/tools/pbesstategraph_options.h"
add your file description here.
mcrl2::pbes_system::pbesstategraph_options
mcrl2/pbes/tools/pbesstategraph.h
mcrl2/pbes/rewriters/pfnf_rewriter.h
