irep2_content_hash.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <functional>
#include <string>
#include <irep2/irep2.h>
#include <irep2/irep2_expr.h>

using irep2_name_mappert = std::function<std::string(const irep_idt &)>;

using irep2_symbol_mappert = std::function<std::string(const symbol2t &)>;

void irep2_content_hash(
  const expr2tc &e,
  const irep2_name_mappert &rename,
  const irep2_symbol_mappert &rename_symbol,
  uint64_t &lo,
  uint64_t &hi);