Constants.h File Reference

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

Go to the source code of this file.

Macros
#define	DYNAMICNBLEVEL
#define	CONSTANTREMOVECLAUSE
#define	UPDATEVARACTIVITY
#define	RATIOREMOVECLAUSES   2
#define	LOWER_BOUND_FOR_BLOCKING_RESTART   10000

Macro Definition Documentation

CONSTANTREMOVECLAUSE

#define CONSTANTREMOVECLAUSE

Definition at line 23 of file Constants.h.

DYNAMICNBLEVEL

#define DYNAMICNBLEVEL

Definition at line 22 of file Constants.h.

LOWER_BOUND_FOR_BLOCKING_RESTART

#define LOWER_BOUND_FOR_BLOCKING_RESTART   10000

Definition at line 32 of file Constants.h.

RATIOREMOVECLAUSES

#define RATIOREMOVECLAUSES   2

Definition at line 27 of file Constants.h.

UPDATEVARACTIVITY

#define UPDATEVARACTIVITY

Definition at line 24 of file Constants.h.