xchaff_solver.h File Reference

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.

---