global.h File Reference

#include "misc/util/abc_global.h"

Include dependency graph for global.h:

Go to the source code of this file.

Macros
#define	CADICAL_NDEBUG
#define	CADICAL_NBUILD
#define	CADICAL_QUIET
#define	CADICAL_NCONTRACTS
#define	CADICAL_NTRACING
#define	CADICAL_NCLOSEFROM
#define	CADICAL_assert(ignore)

Macro Definition Documentation

CADICAL_assert

#define CADICAL_assert

(

ignore

)

Value:

((void)0)

Definition at line 14 of file global.h.

CADICAL_NBUILD

#define CADICAL_NBUILD

Definition at line 7 of file global.h.

CADICAL_NCLOSEFROM

#define CADICAL_NCLOSEFROM

Definition at line 11 of file global.h.

CADICAL_NCONTRACTS

#define CADICAL_NCONTRACTS

Definition at line 9 of file global.h.

CADICAL_NDEBUG

#define CADICAL_NDEBUG

Definition at line 5 of file global.h.

CADICAL_NTRACING

#define CADICAL_NTRACING

Definition at line 10 of file global.h.

CADICAL_QUIET

#define CADICAL_QUIET

Definition at line 8 of file global.h.