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-=()

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

Definition at line 93 of file guard.cpp.

References conjunction(), irept::id(), exprt::operands(), and sort_and_join().

◆ operator|=()