cprover
qbf_qube.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: CM Wintersteiger
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_SOLVERS_QBF_QBF_QUBE_H
11 #define CPROVER_SOLVERS_QBF_QBF_QUBE_H
12 
13 #include "qdimacs_cnf.h"
14 
15 class qbf_qubet:public qdimacs_cnft
16 {
17 public:
18  explicit qbf_qubet(message_handlert &message_handler);
19  virtual ~qbf_qubet();
20 
21  virtual const std::string solver_text();
22  virtual resultt prop_solve();
23  virtual tvt l_get(literalt a) const;
24 };
25 
26 #endif // CPROVER_SOLVERS_QBF_QBF_QUBE_H
resultt
Definition: prop.h:97
qbf_qubet(message_handlert &message_handler)
Definition: qbf_qube.cpp:16
virtual ~qbf_qubet()
Definition: qbf_qube.cpp:23
virtual const std::string solver_text()
Definition: qbf_qube.cpp:32
virtual resultt prop_solve()
Definition: qbf_qube.cpp:37
virtual tvt l_get(literalt a) const
Definition: qbf_qube.cpp:27
Definition: threeval.h:20