CVC3
|
#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 } |
#define __SAT_STATUS__ |
Definition at line 51 of file xchaff_solver.h.
typedef void(* HookFunPtrT)(void *) |
Definition at line 67 of file xchaff_solver.h.
enum SAT_StatusT |
Definition at line 52 of file xchaff_solver.h.
enum SAT_DeductionT |
Definition at line 62 of file xchaff_solver.h.