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
friend guardt & operator-=(guardt &g1, const guardt &g2)
void guard_expr(exprt &dest) const
void append(const guardt &guard)
The Boolean constant true.
API to expression classes.
friend guardt & operator|=(guardt &g1, const guardt &g2)
Base class for all expressions.
guardt & operator=(const exprt &e)
void add(const exprt &expr)