ipasir.h File Reference

#include "global.h"

Include dependency graph for ipasir.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
ABC_NAMESPACE_HEADER_START const char *	ipasir_signature (void)
void *	ipasir_init (void)
void	ipasir_release (void *solver)
void	ipasir_add (void *solver, int lit)
void	ipasir_assume (void *solver, int lit)
int	ipasir_solve (void *solver)
int	ipasir_val (void *solver, int lit)
int	ipasir_failed (void *solver, int lit)
void	ipasir_set_terminate (void *solver, void *state, int(*terminate)(void *state))
void	ipasir_set_learn (void *solver, void *state, int max_length, void(*learn)(void *state, int *clause))

Function Documentation

ipasir_add()

void ipasir_add	(	void *	solver,
		int	lit )

Definition at line 16 of file cadical_ipasir.cpp.

                                        {
  ccadical_add ((CCaDiCaL *) solver, lit);
}

Here is the call graph for this function:

ipasir_assume()

void ipasir_assume	(	void *	solver,
		int	lit )

Definition at line 20 of file cadical_ipasir.cpp.

                                           {
  ccadical_assume ((CCaDiCaL *) solver, lit);
}

Here is the call graph for this function:

ipasir_failed()

int ipasir_failed	(	void *	solver,
		int	lit )

Definition at line 32 of file cadical_ipasir.cpp.

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

Here is the call graph for this function:

ipasir_init()

void * ipasir_init

(

void

)

Definition at line 10 of file cadical_ipasir.cpp.

{ return ccadical_init (); }

Here is the call graph for this function:

ipasir_release()

void ipasir_release

(

void *

solver

)

Definition at line 12 of file cadical_ipasir.cpp.

                                   {
  ccadical_release ((CCaDiCaL *) solver);
}

Here is the call graph for this function:

ipasir_set_learn()

void ipasir_set_learn	(	void *	solver,
		void *	state,
		int	max_length,
		void(*	learn )(void *state, int *clause) )

Definition at line 41 of file cadical_ipasir.cpp.

                                                                 {
  ccadical_set_learn ((CCaDiCaL *) solver, state, max_length, learn);
}

Here is the call graph for this function:

ipasir_set_terminate()

void ipasir_set_terminate	(	void *	solver,
		void *	state,
		int(*	terminate )(void *state) )

Definition at line 36 of file cadical_ipasir.cpp.

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

Here is the call graph for this function:

ipasir_signature()

ABC_NAMESPACE_HEADER_START const char * ipasir_signature

(

void

)

Definition at line 8 of file cadical_ipasir.cpp.

{ return ccadical_signature (); }

Here is the call graph for this function:

ipasir_solve()

int ipasir_solve

(

void *

solver

)

Definition at line 24 of file cadical_ipasir.cpp.

                                {
  return ccadical_solve ((CCaDiCaL *) solver);
}

Here is the call graph for this function:

ipasir_val()

int ipasir_val	(	void *	solver,
		int	lit )

Definition at line 28 of file cadical_ipasir.cpp.

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

Here is the call graph for this function: