backends/precosat/precosat_wrap.h

   1 /* C-wrapping for swig purposes */
   2 /* (c) Utz-Uwe Haus 2010 */
   3 #ifndef PRECOSAT_WRAP_H
   4 #define PRECOSAT_WRAP_H
   5
   6 #include "precosat.hh"
   7
   8 extern "C" {
   9 struct precosat_solver;
  10
  11 struct precosat_solver*
  12 alloc_precosat_solver(int numvars);
  13
  14 void
  15 free_precosat_solver(struct precosat_solver*);
  16
  17 int
  18 precosat_set_option(struct precosat_solver *s, const char* optionname, int val);
  19
  20 enum precosat_result {
  21   PRECOSAT_SAT,
  22   PRECOSAT_UNSAT,
  23   PRECOSAT_ERROR
  24 };
  25
  26 enum precosat_result
  27 precosat_solve(struct precosat_solver*);
  28
  29   int
  30   precosat_sol_val(struct precosat_solver *s, int varidx);
  31
  32
  33 void
  34 precosat_add_var_to_clause(struct precosat_solver *s, int varid);
  35
  36 void
  37 precosat_set_numvars(struct precosat_solver *s, int numvars);
  38
  39 } /* extern "C" */
  40
  41 #endif