Namespaces | |
namespace | utility |
In Vaucanson, several types of contracts can be placed in the library code. |
|
Value: utility::contract::trap(__FILE__, __LINE__, PRETTY_FUNCTION(), \
std::string(Message) + ": " #Cond)
|