bitwuzllob_conv.h

Go to the documentation of this file.

#ifndef _ESBMC_SOLVERS_BITWUZLLOB_BITWUZLLOB_CONV_H
#define _ESBMC_SOLVERS_BITWUZLLOB_BITWUZLLOB_CONV_H
 
#include <solvers/smtlib/smtlib_conv.h>

class bitwuzllob_convt : public smtlib_convt
{
public:
  bitwuzllob_convt(const namespacet &ns, const optionst &options);
  ~bitwuzllob_convt() override;
 
  smt_resultt dec_solve() override;
  const std::string solver_text() override;
  std::string dump_smt() override;
 
private:
  bitwuzllob_convt(
    const namespacet &ns,
    const optionst &options,
    const std::string &formula_path);
 
  std::string formula_path;
  bool solved = false;
};
 
#endif /* _ESBMC_SOLVERS_BITWUZLLOB_BITWUZLLOB_CONV_H */