cprover
bv_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_SOLVERS_FLATTENING_BV_DIMACS_H
13 #define CPROVER_SOLVERS_FLATTENING_BV_DIMACS_H
14 
15 #include "bv_pointers.h"
16 
17 class bv_dimacst : public bv_pointerst
18 {
19 public:
20  bv_dimacst(const namespacet &_ns, propt &_prop, const std::string &_filename)
21  : bv_pointerst(_ns, _prop), filename(_filename)
22  {
23  }
24 
25  virtual ~bv_dimacst()
26  {
28  }
29 
30 protected:
31  std::string filename;
32  bool write_dimacs(const std::string &filename);
33  bool write_dimacs(std::ostream &);
34 };
35 
36 #endif // CPROVER_SOLVERS_FLATTENING_BV_DIMACS_H
bool write_dimacs(const std::string &filename)
Definition: bv_dimacs.cpp:19
virtual ~bv_dimacst()
Definition: bv_dimacs.h:25
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:93
TO_BE_DOCUMENTED.
Definition: prop.h:24
bv_dimacst(const namespacet &_ns, propt &_prop, const std::string &_filename)
Definition: bv_dimacs.h:20
std::string filename
Definition: bv_dimacs.h:31