#include "ipasir.h"
#include "ccadical.h"

extern "C" {

const char * ipasir_signature () {
  return ccadical_signature ();
}

void * ipasir_init () {
  return ccadical_init (); }

void ipasir_release (void * solver) {
  ccadical_release ((CCaDiCaL*) solver);
}

void ipasir_add (void * solver, int lit) {
  ccadical_add ((CCaDiCaL *) solver, lit);
}

void ipasir_add_lits (void * solver, int * lits, int length) {
  for (int i=0; i<length; i++) {
    ccadical_add ((CCaDiCaL *) solver, lits[i]);
  }
}
  
void ipasir_assume (void * solver, int lit) {
  ccadical_assume ((CCaDiCaL *) solver, lit);
}

int ipasir_solve (void * solver) {
  return ccadical_solve ((CCaDiCaL *) solver);
}

int ipasir_val (void * solver, int lit) {
  return ccadical_val ((CCaDiCaL *) solver, lit);
}

int ipasir_failed (void * solver, int lit) {
  return ccadical_failed ((CCaDiCaL *) solver, lit);
}

void ipasir_set_terminate (void * solver,
                           void * state, int (*terminate)(void * state)) {
  ccadical_set_terminate ((CCaDiCaL *) solver, state, terminate);
}

void ipasir_set_learn (void * solver,
                         void * state, int max_length,
                         void (*learn)(void * state, int * clause)) {
  ccadical_set_learn ((CCaDiCaL*) solver, state, max_length, learn);
}

}