Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages

vcsn::misc::contract Namespace Reference


Functions

static void trap (const char *file, int line, const char *location, const std::string &message)
 Internal function to report errors in failed contract macros.


Generated on Fri Oct 12 21:28:52 2007 for Vaucanson by  doxygen 1.4.4