cprover
c_bit_field_replacement_type.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_SOLVERS_FLATTENING_C_BIT_FIELD_REPLACEMENT_TYPE_H
11
#define CPROVER_SOLVERS_FLATTENING_C_BIT_FIELD_REPLACEMENT_TYPE_H
12
13
#include <
util/std_types.h
>
14
#include <
util/namespace.h
>
15
16
typet
c_bit_field_replacement_type
(
17
const
c_bit_field_typet
&,
18
const
namespacet
&);
19
20
#endif // CPROVER_SOLVERS_FLATTENING_C_BIT_FIELD_REPLACEMENT_TYPE_H
typet
The type of an expression, extends irept.
Definition:
type.h:29
namespace.h
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition:
namespace.h:92
c_bit_field_typet
Type for C bit fields These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (...
Definition:
std_types.h:1443
std_types.h
Pre-defined types.
c_bit_field_replacement_type
typet c_bit_field_replacement_type(const c_bit_field_typet &, const namespacet &)
Definition:
c_bit_field_replacement_type.cpp:13
solvers
flattening
c_bit_field_replacement_type.h
Generated by
1.8.20