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 
18 {
19 public:
22 
23 protected:
24  std::ofstream temp_out;
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:
40  void read_assert(std::istream &in, std::string &line);
41 };
42 
43 #endif // CPROVER_SOLVERS_DPLIB_DPLIB_DEC_H
virtual resultt dec_solve()
Definition: dplib_dec.cpp:51
std::string temp_out_filename
Definition: dplib_dec.h:25
void read_assert(std::istream &in, std::string &line)
Definition: dplib_dec.cpp:74
TO_BE_DOCUMENTED.
Definition: namespace.h:62
std::ofstream temp_out
Definition: dplib_dec.h:24
std::string temp_result_filename
Definition: dplib_dec.h:25
dplib_dect(const namespacet &_ns)
Definition: dplib_dec.h:31
resultt read_dplib_result()
Definition: dplib_dec.cpp:132