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 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)
friend guardt & operator -=(guardt &g1, const guardt &g2)
Base class for all expressions.
guardt & operator=(const exprt &e)
void add(const exprt &expr)