const char* bdd_errstring ( int   ) 

Converts an error code to a string.

Converts a negative error code errorcode to a descriptive string that can be used for error handling.

Returns:
An error description string if e is known, otherwise NULL.
See also:
bdd_error_hook


Generated on Mon Jul 23 13:25:14 2007 for BuDDy by  doxygen 1.5.1