assign_params_as_non_det.h

Go to the documentation of this file.

#pragma once
 
#include <goto-programs/goto_functions_algorithm.h>
#include <util/expr/expr_util.h>
#include <irep2/irep2.h>
#include <util/message/message.h>

class assign_params_as_non_det : public goto_functions_algorithm
{
public:
  assign_params_as_non_det(contextt &context)
    : goto_functions_algorithm(true), context(context)
  {
  }
 
protected:
  contextt &context;
  virtual bool
  runOnFunction(std::pair<const irep_idt, goto_functiont> &F) override;
  symbolt *get_default_symbol(
    typet type,
    std::string name,
    std::string id,
    locationt location);
};