cprover
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

guardtoperator-= (guardt &g1, const guardt &g2)
 
guardtoperator|= (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.