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
qbf_qubet::l_get
virtual tvt l_get(literalt a) const
Definition: qbf_qube.cpp:26
qbf_qubet::solver_text
virtual const std::string solver_text()
Definition: qbf_qube.cpp:31
qbf_qubet::~qbf_qubet
virtual ~qbf_qubet()
Definition: qbf_qube.cpp:22
qbf_qubet::qbf_qubet
qbf_qubet()
Definition: qbf_qube.cpp:16
propt::resultt
resultt
Definition: prop.h:96
qdimacs_cnf.h
tvt
Definition: threeval.h:19
qbf_qubet
Definition: qbf_qube.h:15
qdimacs_cnft
Definition: qdimacs_cnf.h:18
qbf_qubet::prop_solve
virtual resultt prop_solve()
Definition: qbf_qube.cpp:36
literalt
Definition: literal.h:24