CVC3
Macros | Functions
xchaff_utils.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define CHECK(x)
 
#define CHECK_FULL(x)
 

Functions

void Abort (char *message)
 
void Warning (char *message)
 

Macro Definition Documentation

#define CHECK (   x)
#define CHECK_FULL (   x)

Function Documentation

void Abort ( char *  message)

Definition at line 43 of file xchaff_utils.cpp.

References std::endl().

void Warning ( char *  message)

Definition at line 49 of file xchaff_utils.cpp.

References std::endl().