CVC3  2.4.1
Macros | Functions
xchaff_utils.h File Reference

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().