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  qbf_qubet();
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
virtual resultt prop_solve()
Definition: qbf_qube.cpp:36
virtual tvt l_get(literalt a) const
Definition: qbf_qube.cpp:25
Definition: threeval.h:19
resultt
Definition: prop.h:94
virtual const std::string solver_text()
Definition: qbf_qube.cpp:31
virtual ~qbf_qubet()
Definition: qbf_qube.cpp:21