guard.cpp File Reference

Symbolic Execution. More...

#include "guard.h"
#include <ostream>
#include "expr_util.h"
#include "invariant.h"
#include "simplify_utils.h"
#include "std_expr.h"

Include dependency graph for guard.cpp:

Go to the source code of this file.

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

Detailed Description

Symbolic Execution.

Definition in file guard.cpp.

Function Documentation

operator-=()

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

Definition at line 72 of file guard.cpp.

operator|=()

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

Definition at line 101 of file guard.cpp.