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
:
20
cbmc_dimacst
(
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
{
31
write_dimacs
(
filename
);
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
cbmc_dimacst::~cbmc_dimacst
virtual ~cbmc_dimacst()
Definition:
cbmc_dimacs.h:29
cbmc_dimacst::filename
std::string filename
Definition:
cbmc_dimacs.h:35
cbmc_dimacst::write_dimacs
bool write_dimacs(const std::string &filename)
Definition:
cbmc_dimacs.cpp:19
cbmc_dimacst::cbmc_dimacst
cbmc_dimacst(const namespacet &_ns, propt &_prop, const std::string &_filename)
Definition:
cbmc_dimacs.h:20
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:74
cbmc_dimacst
Definition:
cbmc_dimacs.h:17
propt
TO_BE_DOCUMENTED.
Definition:
prop.h:24
bv_cbmct
Definition:
bv_cbmc.h:15
bv_cbmc.h
cbmc
cbmc_dimacs.h
Generated by
1.8.14