CVC3  2.4.1
Classes | 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

Typedefs

Enumerations


Typedef Documentation

typedef void(* HookFunPtrT)(void *)

Definition at line 67 of file xchaff_solver.h.


Enumeration Type Documentation

Enumerator:
CONFLICT 
NO_CONFLICT 

Definition at line 62 of file xchaff_solver.h.