api_debug.h File Reference

#include <cmath>
#include <cstdlib>

Include dependency graph for api_debug.h:

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

Go to the source code of this file.


Namespaces

namespace  coco
 the main namespace of the COCONUT API

Defines

#define DEBUG_CERTIFICATE   0
#define DEBUG_DELTA   0
#define __DEBUG_DAG_DELTA   0
#define DEBUG_RANDOM   0
#define DEBUG_EXPRESSIONS   0
#define DEBUG_SEARCH_NODE   0
#define MODEL_INLINE_DEBUG   0
#define MODEL_INLINE_DEBUG_SIMPLIFY   0


Detailed Description

Definition in file api_debug.h.


Define Documentation

#define __DEBUG_DAG_DELTA   0

Definition at line 45 of file api_debug.h.

#define DEBUG_CERTIFICATE   0

Definition at line 37 of file api_debug.h.

#define DEBUG_DELTA   0

Definition at line 41 of file api_debug.h.

#define DEBUG_EXPRESSIONS   0

Definition at line 53 of file api_debug.h.

#define DEBUG_RANDOM   0

Definition at line 49 of file api_debug.h.

#define DEBUG_SEARCH_NODE   0

Definition at line 57 of file api_debug.h.

#define MODEL_INLINE_DEBUG   0

Definition at line 61 of file api_debug.h.

#define MODEL_INLINE_DEBUG_SIMPLIFY   0

Definition at line 65 of file api_debug.h.


Generated on Tue Feb 9 14:46:10 2010 for COCONUT API by  doxygen 1.5.8