X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=src%2Fsolverdebug.h;h=32e427ec6b7896e0bba4aa50620c88782af855e3;hb=8a7ffe4fc2b44b84fb045f80c1a016b3f200aa8b;hp=5fa6645d5d66625c7b90ebb733d81d5af833f6df;hpb=0d662e5a737993914b35c20b933ea7be2c1f5333;p=platform%2Fupstream%2Flibsolv.git

diff --git a/src/solverdebug.h b/src/solverdebug.h
index 5fa6645..32e427e 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,7 +28,6 @@ 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);
@@ -33,8 +35,11 @@ extern void solver_printsolution(Solver *solv, Id problem, Id solution);
 extern void solver_printallsolutions(Solver *solv);
 extern void solver_printtrivial(Solver *solv);
 
-extern const char *solver_select2str(Pool *pool, Id select, Id what);
+extern void transaction_print(Transaction *trans);
 
+#ifdef __cplusplus
+}
+#endif
 
-#endif /* SATSOLVER_SOLVERDEBUG_H */
+#endif /* LIBSOLV_SOLVERDEBUG_H */