xchaff_solver.h File Reference

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

Include dependency graph for xchaff_solver.h:

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

Go to the source code of this file.

Classes

• struct CSolverParameters
• struct CSolverStats
• class CSolver

Typedefs

• typedef void(*) HookFunPtrT (void *)

Enumerations

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

---

Typedef Documentation

typedef void(*) HookFunPtrT(void *)

Definition at line 66 of file xchaff_solver.h.

---

Enumeration Type Documentation

enum SAT_StatusT

Enumerator:

UNDETERMINED
UNSATISFIABLE
SATISFIABLE
TIME_OUT
MEM_OUT
ABORTED

Definition at line 51 of file xchaff_solver.h.

enum SAT_DeductionT

Enumerator:

CONFLICT
NO_CONFLICT

Definition at line 61 of file xchaff_solver.h.

---