CBMC
equality_propagation.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Equality Propagation
4 
5 Author: Daniel Kroening, dkr@amazon.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CPROVER_EQUALITY_PROPAGATION_H
13 #define CPROVER_CPROVER_EQUALITY_PROPAGATION_H
14 
15 #include <vector>
16 
17 class exprt;
18 
19 void equality_propagation(std::vector<exprt> &);
20 
21 #endif // CPROVER_CPROVER_EQUALITY_PROPAGATION_H
exprt
Base class for all expressions.
Definition: expr.h:56
equality_propagation
void equality_propagation(std::vector< exprt > &)
Definition: equality_propagation.cpp:17