ranking_synthesis.h

Go to the documentation of this file.

#ifndef ESBMC_RANKING_SYNTHESIS_H
#define ESBMC_RANKING_SYNTHESIS_H
 
#include <goto-programs/goto_functions.h>
#include <util/symtab/namespace.h>
#include <util/config/options.h>
#include <util/base/threeval.h>

tvt try_prove_termination_by_ranking(
  goto_functionst &goto_functions,
  optionst &options,
  const namespacet &ns);
 
#endif /* ESBMC_RANKING_SYNTHESIS_H */