equality_propagation.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Equality Propagation
 
Author: Daniel Kroening, dkr@amazon.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_CPROVER_EQUALITY_PROPAGATION_H
#define CPROVER_CPROVER_EQUALITY_PROPAGATION_H
 
#include <vector>
 
class exprt;
 
void equality_propagation(std::vector<exprt> &);
 
#endif // CPROVER_CPROVER_EQUALITY_PROPAGATION_H