CVC3
Functions

xchaff_utils.cpp File Reference

#include <cstdlib>
#include <iostream>

Go to the source code of this file.

Functions


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