type_handler.h File Reference

#include <util/lang/c_types.h>
#include <util/arith/arith_tools.h>
#include <util/irep/std_expr.h>
#include <util/irep/std_types.h>
#include <util/irep/migrate.h>
#include <irep2/irep2_utils.h>
#include <nlohmann/json.hpp>
#include <optional>

Include dependency graph for type_handler.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	type_handler

Functions
const typet &	cached_double_type ()
const struct_typet &	get_complex_struct_type ()
bool	is_complex_type (const typet &type)
exprt	make_complex (const exprt &real, const exprt &imag)
exprt	promote_to_complex (const exprt &value)
exprt	complex_to_bool_expr (const exprt &complex_expr)

Function Documentation

cached_double_type()

const typet & cached_double_type ( )

inline

complex_to_bool_expr()

exprt complex_to_bool_expr ( const exprt & complex_expr )

inline

get_complex_struct_type()

const struct_typet & get_complex_struct_type ( )

inline

is_complex_type()

bool is_complex_type ( const typet & type )

inline

make_complex()

exprt make_complex ( const exprt & real, const exprt & imag )

inline

promote_to_complex()

exprt promote_to_complex ( const exprt & value )

inline