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
{
27
write_dimacs
(
filename
);
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
bv_dimacst::~bv_dimacst
virtual ~bv_dimacst()
Definition:
bv_dimacs.h:25
bv_dimacst
Definition:
bv_dimacs.h:17
bv_dimacst::write_dimacs
bool write_dimacs(const std::string &filename)
Definition:
bv_dimacs.cpp:19
bv_pointers.h
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition:
namespace.h:93
bv_pointerst
Definition:
bv_pointers.h:17
bv_dimacst::bv_dimacst
bv_dimacst(const namespacet &_ns, propt &_prop, const std::string &_filename)
Definition:
bv_dimacs.h:20
bv_dimacst::filename
std::string filename
Definition:
bv_dimacs.h:31
propt
TO_BE_DOCUMENTED.
Definition:
prop.h:24
solvers
flattening
bv_dimacs.h
Generated by
1.8.17