Function ADS::detail::violated

Defined in File Contract.h

Function Documentation

inline void ADS::detail::violated(const char *kind, const char *cond, const char *func, const char *file, int line)