remove_complex.cpp File Reference

#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...
void	remove_complex (symbol_tablet &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_tablet &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 78 of file remove_complex.cpp.

remove_complex() [1/8]

static void remove_complex ( exprt &  expr )

static

Definition at line 99 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 299 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 283 of file remove_complex.cpp.

remove_complex() [4/8]

void remove_complex

(

goto_modelt &

goto_model

)

removes complex data type

Definition at line 315 of file remove_complex.cpp.

remove_complex() [5/8]

void remove_complex

(

symbol_tablet &

symbol_table

)

removes complex data type

Definition at line 276 of file remove_complex.cpp.

remove_complex() [6/8]

void remove_complex	(	symbol_tablet &	symbol_table,
		goto_functionst &	goto_functions
	)

removes complex data type

Definition at line 306 of file remove_complex.cpp.

remove_complex() [7/8]

static void remove_complex ( symbolt &  symbol )

static

removes complex data type

Definition at line 269 of file remove_complex.cpp.

remove_complex() [8/8]

static void remove_complex ( typet &  type )

static

removes complex data type

Definition at line 230 of file remove_complex.cpp.