expr_skeleton.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Symbolic Execution
 
Author: Romain Brenguier, romain.brenguier@diffblue.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_SYMEX_EXPR_SKELETON_H
#define CPROVER_GOTO_SYMEX_EXPR_SKELETON_H
 
#include <util/expr.h>
 
class expr_skeletont final
{
public:
  expr_skeletont();
 
  expr_skeletont compose(expr_skeletont other) const;
 
  exprt apply(exprt expr) const;
 
  static expr_skeletont remove_op0(exprt e);
 
private:
  exprt skeleton;
 
  explicit expr_skeletont(exprt e) : skeleton(std::move(e))
  {
  }
  explicit expr_skeletont(exprt e) : skeleton(std::move(e)) {…}
};
class expr_skeletont final {…};
 
#endif // CPROVER_GOTO_SYMEX_EXPR_SKELETON_H