xchaff_utils.cpp File Reference

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


Generated on Thu Apr 13 16:57:37 2006 for CVC Lite by  doxygen 1.4.4