CBMC
guard_exprt Member List

This is the complete list of members for guard_exprt, including all inherited members.

add(const exprt &expr)guard_exprt
append(const guard_exprt &guard)guard_exprtinline
as_expr() constguard_exprtinline
disjunction_may_simplify(const guard_exprt &other_guard)guard_exprt
exprguard_exprtprivate
guard_expr(exprt expr) constguard_exprt
guard_exprt(const exprt &e, guard_expr_managert &)guard_exprtinlineexplicit
is_always_simplifiedguard_exprtstatic
is_false() constguard_exprtinline
is_true() constguard_exprtinline
operator-=(guard_exprt &g1, const guard_exprt &g2)guard_exprtfriend
operator=(const guard_exprt &other)guard_exprtinline
operator|=(guard_exprt &g1, const guard_exprt &g2)guard_exprtfriend