cprover
dplib_dec.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_DPLIB_DPLIB_DEC_H
11
#define CPROVER_SOLVERS_DPLIB_DPLIB_DEC_H
12
13
#include <fstream>
14
15
#include "
dplib_conv.h
"
16
17
class
dplib_temp_filet
18
{
19
public
:
20
dplib_temp_filet
();
21
~dplib_temp_filet
();
22
23
protected
:
24
std::ofstream
temp_out
;
25
std::string
temp_out_filename
,
temp_result_filename
;
26
};
27
28
class
dplib_dect
:
protected
dplib_temp_filet
,
public
dplib_convt
29
{
30
public
:
31
explicit
dplib_dect
(
const
namespacet
&_ns):
32
dplib_convt
(_ns,
temp_out
)
33
{
34
}
35
36
virtual
resultt
dec_solve();
37
38
protected
:
39
resultt
read_dplib_result();
40
void
read_assert(std::istream &in, std::string &line);
41
};
42
43
#endif // CPROVER_SOLVERS_DPLIB_DPLIB_DEC_H
dplib_temp_filet::temp_out_filename
std::string temp_out_filename
Definition:
dplib_dec.h:25
decision_proceduret::resultt
resultt
Definition:
decision_procedure.h:45
dplib_temp_filet::dplib_temp_filet
dplib_temp_filet()
Definition:
dplib_dec.cpp:31
dplib_temp_filet
Definition:
dplib_dec.h:17
dplib_convt
Definition:
dplib_conv.h:19
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
dplib_temp_filet::~dplib_temp_filet
~dplib_temp_filet()
Definition:
dplib_dec.cpp:40
dplib_temp_filet::temp_out
std::ofstream temp_out
Definition:
dplib_dec.h:24
dplib_dect
Definition:
dplib_dec.h:28
dplib_temp_filet::temp_result_filename
std::string temp_result_filename
Definition:
dplib_dec.h:25
dplib_dect::dplib_dect
dplib_dect(const namespacet &_ns)
Definition:
dplib_dec.h:31
dplib_conv.h
solvers
dplib
dplib_dec.h
Generated by
1.8.12