mark_decl_as_non_det.h

Go to the documentation of this file.

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

class mark_decl_as_non_det : public goto_functions_algorithm
{
public:
  mark_decl_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;
};