Go to the documentation of this file.
12 #ifndef CPROVER_UTIL_GUARD_H
13 #define CPROVER_UTIL_GUARD_H
29 *
this=
static_cast<const guardt&
>(e);
52 #endif // CPROVER_UTIL_GUARD_H
void add(const exprt &expr)
friend guardt & operator-=(guardt &g1, const guardt &g2)
Base class for all expressions.
friend guardt & operator|=(guardt &g1, const guardt &g2)
void guard_expr(exprt &dest) const
void append(const guardt &guard)
guardt & operator=(const exprt &e)
The Boolean constant true.