cprover
|
#include <invariant.h>
Static Public Member Functions | |
static std::string | diagnostics_as_string (const char *string) |
static std::string | diagnostics_as_string (const char *&) |
Definition at line 320 of file invariant.h.
|
static |
|
inlinestatic |
Definition at line 322 of file invariant.h.