cprover
mm2cpp.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_MEMORY_MODELS_MM2CPP_H
11
#define CPROVER_MEMORY_MODELS_MM2CPP_H
12
13
#include <
util/irep.h
>
14
15
void
mm2cpp
(
16
const
irep_idt
&,
17
const
irept
&,
18
std::ostream &);
19
20
#endif // CPROVER_MEMORY_MODELS_MM2CPP_H
irept
Base class for tree-like data structures with sharing.
Definition:
irep.h:87
dstringt
Definition:
dstring.h:21
irep.h
mm2cpp
void mm2cpp(const irep_idt &, const irept &, std::ostream &)
Definition:
mm2cpp.cpp:203
memory-models
mm2cpp.h
Generated by
1.8.14