#include <sys/time.h>#include <sys/resource.h>#include <stdlib.h>#include "xchaff_utils.h"#include "xchaff_dbase.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 |
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 |
Definition at line 52 of file xchaff_solver.h.
| enum SAT_DeductionT |
Definition at line 62 of file xchaff_solver.h.
