12 #ifndef CPROVER_UTIL_GUARD_H 13 #define CPROVER_UTIL_GUARD_H 29 *
this=
static_cast<const guardt&
>(e);
51 bool empty()
const {
return guard_list.empty(); }
52 bool is_true()
const {
return empty(); }
69 guard_list.swap(g.guard_list);
74 return guard_list.size();
82 const guard_listt &get_guard_list()
const 88 guard_listt guard_list;
92 #endif // CPROVER_UTIL_GUARD_H
friend guardt & operator-=(guardt &g1, const guardt &g2)
void guard_expr(exprt &dest) const
void append(const guardt &guard)
unsignedbv_typet size_type()
friend guardt & operator|=(guardt &g1, const guardt &g2)
Base class for all expressions.
guardt & operator=(const exprt &e)
void add(const exprt &expr)