Remove 'complex' data type. More...
#include "remove_complex.h"#include <util/arith_tools.h>#include <util/std_expr.h>#include "goto_model.h"
Include dependency graph for remove_complex.cpp:Go to the source code of this file.
Functions | |
| static exprt | complex_member (const exprt &expr, irep_idt id) |
| static bool | have_to_remove_complex (const typet &type) |
| static bool | have_to_remove_complex (const exprt &expr) |
| static void | remove_complex (typet &) |
| removes complex data type More... | |
| static void | remove_complex (exprt &expr) |
| static void | remove_complex (symbolt &symbol) |
| removes complex data type More... | |
| static void | remove_complex (symbol_table_baset &symbol_table) |
| removes complex data type More... | |
| static void | remove_complex (goto_functionst::goto_functiont &goto_function) |
| removes complex data type More... | |
| static void | remove_complex (goto_functionst &goto_functions) |
| removes complex data type More... | |
| void | remove_complex (symbol_table_baset &symbol_table, goto_functionst &goto_functions) |
| removes complex data type More... | |
| void | remove_complex (goto_modelt &goto_model) |
| removes complex data type More... | |
Detailed Description
Remove 'complex' data type.
Definition in file remove_complex.cpp.
Function Documentation
◆ complex_member()
Definition at line 21 of file remove_complex.cpp.
◆ have_to_remove_complex() [1/2]
|
static |
Definition at line 43 of file remove_complex.cpp.
◆ have_to_remove_complex() [2/2]
|
static |
Definition at line 80 of file remove_complex.cpp.
◆ remove_complex() [1/8]
|
static |
Definition at line 101 of file remove_complex.cpp.
◆ remove_complex() [2/8]
|
static |
removes complex data type
Definition at line 301 of file remove_complex.cpp.
◆ remove_complex() [3/8]
|
static |
removes complex data type
Definition at line 285 of file remove_complex.cpp.
◆ remove_complex() [4/8]
| void remove_complex | ( | goto_modelt & | goto_model | ) |
removes complex data type
Definition at line 317 of file remove_complex.cpp.
◆ remove_complex() [5/8]
|
static |
removes complex data type
Definition at line 278 of file remove_complex.cpp.
◆ remove_complex() [6/8]
| void remove_complex | ( | symbol_table_baset & | symbol_table, |
| goto_functionst & | goto_functions | ||
| ) |
removes complex data type
Definition at line 308 of file remove_complex.cpp.
◆ remove_complex() [7/8]
|
static |
removes complex data type
Definition at line 271 of file remove_complex.cpp.
◆ remove_complex() [8/8]
|
static |
removes complex data type
Definition at line 232 of file remove_complex.cpp.
