CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
c_bit_field_replacement_type.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: 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/type.h>
14
15class c_bit_field_typet;
16class namespacet;
17
18typet c_bit_field_replacement_type(
19 const c_bit_field_typet &,
20 const namespacet &);
21
22#endif // CPROVER_SOLVERS_FLATTENING_C_BIT_FIELD_REPLACEMENT_TYPE_H
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:15
c_bit_field_typet
Type for C bit fields These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (...
Definition c_types.h:20
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91
typet
The type of an expression, extends irept.
Definition type.h:29
type.h
Defines typet, type_with_subtypet and type_with_subtypest.