cprover
|
ANSI-CC Language Type Checking. More...
Go to the source code of this file.
Classes | |
class | ansi_c_declaratort |
class | ansi_c_declarationt |
Functions | |
ansi_c_declaratort & | to_ansi_c_declarator (exprt &expr) |
const ansi_c_declaratort & | to_ansi_c_declarator (const exprt &expr) |
ansi_c_declarationt & | to_ansi_c_declaration (exprt &expr) |
const ansi_c_declarationt & | to_ansi_c_declaration (const exprt &expr) |
ANSI-CC Language Type Checking.
Definition in file ansi_c_declaration.h.
|
inline |
Definition at line 270 of file ansi_c_declaration.h.
|
inline |
Definition at line 264 of file ansi_c_declaration.h.
|
inline |
Definition at line 66 of file ansi_c_declaration.h.
|
inline |
Definition at line 60 of file ansi_c_declaration.h.