cprover
qbf_skizzo.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: 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{
17public:
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:97
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