qbf_quantor.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_SOLVERS_QBF_QBF_QUANTOR_H
#define CPROVER_SOLVERS_QBF_QBF_QUANTOR_H
 
#include "qdimacs_cnf.h"
 
class qbf_quantort:public qdimacs_cnft
{
public:
  explicit qbf_quantort(message_handlert &message_handler);
  ~qbf_quantort() override;
 
  std::string solver_text() const override;
  virtual resultt prop_solve();
  tvt l_get(literalt a) const override;
};
 
#endif // CPROVER_SOLVERS_QBF_QBF_QUANTOR_H