CBMC
remove_complex.cpp File Reference

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()

static exprt complex_member ( const exprt expr,
irep_idt  id 
)
static

Definition at line 21 of file remove_complex.cpp.

◆ have_to_remove_complex() [1/2]

static bool have_to_remove_complex ( const exprt expr)
static

Definition at line 43 of file remove_complex.cpp.

◆ have_to_remove_complex() [2/2]

static bool have_to_remove_complex ( const typet type)
static

Definition at line 80 of file remove_complex.cpp.

◆ remove_complex() [1/8]

static void remove_complex ( exprt expr)
static

Definition at line 101 of file remove_complex.cpp.

◆ remove_complex() [2/8]

static void remove_complex ( goto_functionst goto_functions)
static

removes complex data type

Definition at line 345 of file remove_complex.cpp.

◆ remove_complex() [3/8]

static void remove_complex ( goto_functionst::goto_functiont goto_function)
static

removes complex data type

Definition at line 329 of file remove_complex.cpp.

◆ remove_complex() [4/8]

void remove_complex ( goto_modelt goto_model)

removes complex data type

Definition at line 361 of file remove_complex.cpp.

◆ remove_complex() [5/8]

static void remove_complex ( symbol_table_baset symbol_table)
static

removes complex data type

Definition at line 322 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 352 of file remove_complex.cpp.

◆ remove_complex() [7/8]

static void remove_complex ( symbolt symbol)
static

removes complex data type

Definition at line 315 of file remove_complex.cpp.

◆ remove_complex() [8/8]

static void remove_complex ( typet type)
static

removes complex data type

Definition at line 276 of file remove_complex.cpp.