X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=src%2Fsolverdebug.h;h=b6923b46d471649b58219e26f526192767536ae9;hb=refs%2Fchanges%2F22%2F94122%2F1;hp=50fff6bc52b2c7db38171a866483afe26cadc055;hpb=180a7cc50ba32c83e6a05d3560850ba228d2afcb;p=platform%2Fupstream%2Flibsolv.git

diff --git a/src/solverdebug.h b/src/solverdebug.h
index 50fff6b..b6923b4 100644
--- a/src/solverdebug.h
+++ b/src/solverdebug.h
@@ -10,14 +10,17 @@
  *
  */
 
-#ifndef SATSOLVER_SOLVERDEBUG_H
-#define SATSOLVER_SOLVERDEBUG_H
+#ifndef LIBSOLV_SOLVERDEBUG_H
+#define LIBSOLV_SOLVERDEBUG_H
 
 #include "pooltypes.h"
 #include "pool.h"
 #include "solver.h"
 
-extern Id *solver_create_decisions_obsoletesmap(Solver *solv);
+#ifdef __cplusplus
+extern "C" {
+#endif
+
 extern void solver_printruleelement(Solver *solv, int type, Rule *r, Id v);
 extern void solver_printrule(Solver *solv, int type, Rule *r);
 extern void solver_printruleclass(Solver *solv, int type, Rule *r);
@@ -25,13 +28,20 @@ extern void solver_printproblem(Solver *solv, Id v);
 extern void solver_printwatches(Solver *solv, int type);
 extern void solver_printdecisionq(Solver *solv, int type);
 extern void solver_printdecisions(Solver *solv);
-extern void solver_printtransaction(Solver *solv);
+extern void solver_printproblemruleinfo(Solver *solv, Id rule);
 extern void solver_printprobleminfo(Solver *solv, Id problem);
+extern void solver_printcompleteprobleminfo(Solver *solv, Id problem);
 extern void solver_printsolution(Solver *solv, Id problem, Id solution);
 extern void solver_printallsolutions(Solver *solv);
+
+extern void transaction_print(Transaction *trans);
+
+/* weird suse stuff */
 extern void solver_printtrivial(Solver *solv);
-extern const char *solver_select2str(Solver *solv, Id select, Id what);
 
+#ifdef __cplusplus
+}
+#endif
 
-#endif /* SATSOLVER_SOLVERDEBUG_H */
+#endif /* LIBSOLV_SOLVERDEBUG_H */