#include "pbqp_t.h"
-void dump_input(pbqp *pbqp);
+void pbqp_dump_input(pbqp *pbqp);
+
+void pbqp_dump_graph(pbqp *pbqp);
+
+void dump_simplifyedge(pbqp *pbqp, pbqp_edge *edge);
+
+void dump_section(FILE *f, int level, char *txt);
+
+void dump_node(FILE *file, pbqp_node *node);
+void dump_edge(pbqp *pbqp, pbqp_edge *edge);
#endif /* KAPS_HTML_DUMPER_H */