cprover
cbmc_dimacs.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Writing DIMACS Files
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CBMC_CBMC_DIMACS_H
13 #define CPROVER_CBMC_CBMC_DIMACS_H
14 
15 #include "bv_cbmc.h"
16 
17 class cbmc_dimacst:public bv_cbmct
18 {
19 public:
21  const namespacet &_ns,
22  propt &_prop,
23  const std::string &_filename):
24  bv_cbmct(_ns, _prop),
25  filename(_filename)
26  {
27  }
28 
29  virtual ~cbmc_dimacst()
30  {
32  }
33 
34 protected:
35  std::string filename;
36  bool write_dimacs(const std::string &filename);
37  bool write_dimacs(std::ostream &);
38 };
39 
40 #endif // CPROVER_CBMC_CBMC_DIMACS_H
virtual ~cbmc_dimacst()
Definition: cbmc_dimacs.h:29
std::string filename
Definition: cbmc_dimacs.h:35
bool write_dimacs(const std::string &filename)
Definition: cbmc_dimacs.cpp:19
cbmc_dimacst(const namespacet &_ns, propt &_prop, const std::string &_filename)
Definition: cbmc_dimacs.h:20
TO_BE_DOCUMENTED.
Definition: namespace.h:74
TO_BE_DOCUMENTED.
Definition: prop.h:24