12#ifndef CPROVER_CPP_CPP_STATIC_ASSERT_H
13#define CPROVER_CPP_CPP_STATIC_ASSERT_H
24 std::move(_description),
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
A base class for binary expressions.
cpp_static_assertt(exprt _cond, exprt _description)
const exprt & cond() const
const exprt & description() const
Base class for all expressions.
The type of an expression, extends irept.
API to expression classes.