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 
17  const c_bit_field_typet &,
18  const namespacet &);
19 
20 #endif // CPROVER_SOLVERS_FLATTENING_C_BIT_FIELD_REPLACEMENT_TYPE_H
The type of an expression.
Definition: type.h:22
Type for c bit fields.
Definition: std_types.h:1381
TO_BE_DOCUMENTED.
Definition: namespace.h:74
typet c_bit_field_replacement_type(const c_bit_field_typet &, const namespacet &)
API to type classes.