---

Contract checking for Vaucansn
[Utility constructs for Vaucanson]

Namespaces
namespace	utility
	In Vaucanson, several types of contracts can be placed in the library code.

---

Define Documentation

#define __trap (  Message, Cond    )

Value: utility::contract::trap(__FILE__, __LINE__, PRETTY_FUNCTION(), \ std::string(Message) + ": " #Cond)

---