CVC3  2.4.1
Classes | Macros | Typedefs | Enumerations
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

Enumerator
UNDETERMINED 
UNSATISFIABLE 
SATISFIABLE 
TIME_OUT 
MEM_OUT 
ABORTED 

Definition at line 52 of file xchaff_solver.h.

Enumerator
CONFLICT 
NO_CONFLICT 

Definition at line 62 of file xchaff_solver.h.