dReal4
assert.h
1 #pragma once
2 
3 namespace dreal {
4 template <typename... Args>
5 void unused(const Args&... /* unused */) {}
6 } // namespace dreal
7 
8 #ifdef NDEBUG
9 // To suppress unused variables warnings.
10 #define DREAL_ASSERT(x) unused(x);
11 #else
12 #include <assert.h> // NOLINT
13 #define DREAL_ASSERT(x) assert(x)
14 #endif
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9