CVC3  2.4.1
Functions
xchaff_utils.cpp File Reference
#include <cstdlib>
#include <iostream>

Go to the source code of this file.

Functions

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

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