simplify_utils.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_SIMPLIFY_UTILS_H
#define CPROVER_UTIL_SIMPLIFY_UTILS_H
 
#include "expr.h"
 
#include <string>
 
class array_exprt;
class namespacet;
 
bool sort_operands(exprt::operandst &operands);
 
bool join_operands(exprt &expr);
 
bool sort_and_join(exprt &expr);
 
// bit-level conversions
std::optional<exprt> bits2expr(
  const std::string &bits,
  const typet &type,
  bool little_endian,
  const namespacet &ns);
 
std::optional<std::string>
expr2bits(const exprt &, bool little_endian, const namespacet &ns);
 
std::optional<std::reference_wrapper<const array_exprt>>
try_get_string_data_array(const exprt &content, const namespacet &ns);
 
#endif // CPROVER_UTIL_SIMPLIFY_UTILS_H