cprover
qbf_quantor.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_QUANTOR_H
11#define CPROVER_SOLVERS_QBF_QBF_QUANTOR_H
12
13#include "qdimacs_cnf.h"
14
16{
17public:
18 explicit qbf_quantort(message_handlert &message_handler);
19 virtual ~qbf_quantort();
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_QUANTOR_H
resultt
Definition: prop.h:97
qbf_quantort(message_handlert &message_handler)
Definition: qbf_quantor.cpp:16
virtual resultt prop_solve()
Definition: qbf_quantor.cpp:35
virtual tvt l_get(literalt a) const
Definition: qbf_quantor.cpp:25
virtual const std::string solver_text()
Definition: qbf_quantor.cpp:30
virtual ~qbf_quantort()
Definition: qbf_quantor.cpp:21
Definition: threeval.h:20