add phase/unphase to C api

sfiruch · Nov 21, 2023 · 7b6175a · 7b6175a
1 parent 9d3aeb3
commit 7b6175a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/src/ccadical.cpp b/src/ccadical.cpp
@@ -139,6 +139,14 @@ int ccadical_fixed (CCaDiCaL *wrapper, int lit) {
   return ((Wrapper *) wrapper)->solver->fixed (lit);
 }
 
+void ccadical_phase (CCaDiCaL *wrapper, int lit) {
+  ((Wrapper *) wrapper)->solver->phase (lit);
+}
+
+void ccadical_unphase (CCaDiCaL *wrapper, int lit) {
+  ((Wrapper *) wrapper)->solver->unphase (lit);
+}
+
 void ccadical_set_terminate (CCaDiCaL *ptr, void *state,
                              int (*terminate) (void *)) {
   Wrapper *wrapper = (Wrapper *) ptr;

diff --git a/src/ccadical.h b/src/ccadical.h
@@ -51,6 +51,9 @@ DllExport int ccadical_frozen (CCaDiCaL *, int lit);
 DllExport void ccadical_melt (CCaDiCaL *, int lit);
 DllExport int ccadical_simplify (CCaDiCaL *);
 
+DllExport void ccadical_phase (CCaDiCaL *, int lit);
+DllExport void ccadical_unphase (CCaDiCaL *, int lit);
+
 /*------------------------------------------------------------------------*/
 
 // Support legacy names used before moving to more IPASIR conforming names.