CBMC
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/type.h>
14 
15 class c_bit_field_typet;
16 class namespacet;
17 
18 typet 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:94
typet
The type of an expression, extends irept.
Definition: type.h:29
type.h
Defines typet, type_with_subtypet and type_with_subtypest.