cprover
Loading...
Searching...
No Matches
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
virtual resultt prop_solve()
virtual tvt l_get(literalt a) const
virtual const std::string solver_text()
virtual ~qbf_quantort()
Definition threeval.h:20
resultt
The result of goto verifying.
Definition properties.h:45