cprover
qbf_skizzo.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_SOLVERS_QBF_QBF_SKIZZO_H
11 #define CPROVER_SOLVERS_QBF_QBF_SKIZZO_H
12 
13 #include "qdimacs_cnf.h"
14 
16 {
17 public:
18  explicit qbf_skizzot(message_handlert &message_handler);
19  virtual ~qbf_skizzot();
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_SKIZZO_H
resultt
Definition: prop.h:99
virtual resultt prop_solve()
Definition: qbf_skizzo.cpp:37
virtual const std::string solver_text()
Definition: qbf_skizzo.cpp:32
qbf_skizzot(message_handlert &message_handler)
Definition: qbf_skizzo.cpp:16
virtual ~qbf_skizzot()
Definition: qbf_skizzo.cpp:23
virtual tvt l_get(literalt a) const
Definition: qbf_skizzo.cpp:27
Definition: threeval.h:20