union_find_replace.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: util
 
Author: Romain Brenguier, romain.brenguier@diffblue.com
 
\*******************************************************************/
 
#ifndef CPROVER_UTIL_UNION_FIND_REPLACE_H
#define CPROVER_UTIL_UNION_FIND_REPLACE_H
 
#include "replace_expr.h"
 
class union_find_replacet
{
public:
  bool replace_expr(exprt &expr) const;
 
  exprt find(exprt expr) const;
 
  exprt make_union(const exprt &a, const exprt &b);
 
  std::vector<std::pair<exprt, exprt>> to_vector() const;
 
private:
  replace_mapt map;
};
 
#endif // CPROVER_UTIL_UNION_FIND_REPLACE_H