cprover
guard.cpp File Reference

Symbolic Execution. More...

#include "guard.h"
#include <ostream>
#include "std_expr.h"
#include "simplify_utils.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-=()

§ operator|=()