xchaff_solver.h File Reference

#include <sys/time.h>
#include <sys/resource.h>
#include <stdlib.h>
#include "xchaff_utils.h"
#include "xchaff_dbase.h"

Go to the source code of this file.

Classes
struct	CSolverParameters
struct	CSolverStats
class	CSolver

Macros
#define	__SAT_STATUS__

Typedefs
typedef void(*	HookFunPtrT )(void *)

Enumerations
enum	SAT_StatusT {   UNDETERMINED, UNSATISFIABLE, SATISFIABLE, TIME_OUT,   MEM_OUT, ABORTED }
enum	SAT_DeductionT { CONFLICT, NO_CONFLICT }

Macro Definition Documentation

#define __SAT_STATUS__

Definition at line 51 of file xchaff_solver.h.

Typedef Documentation

typedef void(* HookFunPtrT)(void *)

Definition at line 67 of file xchaff_solver.h.

Enumeration Type Documentation

enum SAT_StatusT

Enumerator
UNDETERMINED
UNSATISFIABLE
SATISFIABLE
TIME_OUT
MEM_OUT
ABORTED

Definition at line 52 of file xchaff_solver.h.

enum SAT_DeductionT

Enumerator
CONFLICT
NO_CONFLICT

Definition at line 62 of file xchaff_solver.h.