guard_expr.cpp File Reference

#include "guard_expr.h"
#include <util/expr_util.h>
#include <util/invariant.h>
#include <util/simplify_utils.h>
#include <util/std_expr.h>

Include dependency graph for guard_expr.cpp:

Go to the source code of this file.

Functions
guard_exprt &	operator-= (guard_exprt &g1, const guard_exprt &g2)
guard_exprt &	operator|= (guard_exprt &g1, const guard_exprt &g2)

Detailed Description

Symbolic Execution

Definition in file guard_expr.cpp.

Function Documentation

operator-=()

guard_exprt& operator-=	(	guard_exprt &	g1,
		const guard_exprt &	g2
	)

Definition at line 65 of file guard_expr.cpp.

operator|=()

guard_exprt& operator|=	(	guard_exprt &	g1,
		const guard_exprt &	g2
	)

Definition at line 135 of file guard_expr.cpp.