ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
c_sizeof.h
Go to the documentation of this file.
1
#include <
util/irep/expr.h
>
2
#include <
irep2/irep2.h
>
3
#include <
util/symtab/namespace.h
>
4
5
exprt
c_sizeof
(
const
typet
&src,
const
namespacet
&ns);
6
expr2tc
c_sizeof
(
const
type2tc
&src,
const
namespacet
&ns);
c_sizeof
exprt c_sizeof(const typet &src, const namespacet &ns)
Definition
c_sizeof.cpp:8
exprt
Definition
expr.h:34
namespacet
Definition
namespace.h:10
typet
Definition
type.h:9
irep2.h
Classes and definitions for non-stringy internal representation.
type2tc
irep_container< type2t > type2tc
Definition
irep2.h:430
expr2tc
irep_container< expr2t > expr2tc
Definition
irep2.h:431
namespace.h
expr.h
src
util
lang
c_sizeof.h
Generated by
1.15.0