CBMC
merged_type.h File Reference
#include <util/type.h>
+ Include dependency graph for merged_type.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  merged_typet
 holds a combination of types More...
 

Functions

const merged_typetto_merged_type (const typet &type)
 conversion to merged_typet More...
 
merged_typetto_merged_type (typet &type)
 conversion to merged_typet More...
 

Function Documentation

◆ to_merged_type() [1/2]

const merged_typet& to_merged_type ( const typet type)
inline

conversion to merged_typet

Definition at line 29 of file merged_type.h.

◆ to_merged_type() [2/2]

merged_typet& to_merged_type ( typet type)
inline

conversion to merged_typet

Definition at line 39 of file merged_type.h.