cprover
Loading...
Searching...
No Matches
qbf_qube.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: 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
16{
17public:
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
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
resultt
The result of goto verifying.
Definition: properties.h:45