Loading...

Searching...

No Matches

equality_propagation.cpp File Reference

Equality Propagation. More...

#include "equality_propagation.h"
#include <util/std_expr.h>
#include <util/substitute_symbols.h>

+ Include dependency graph for equality_propagation.cpp:

Functions

void equality_propagation (std::vector< exprt > &constraints)

Detailed Description

Equality Propagation.

void equality_propagation ( std::vector< exprt > & constraints )

Definition at line 17 of file equality_propagation.cpp.