converter_unop.cpp File Reference

#include <python-frontend/converter/converter_internal.h>
#include <python-frontend/python_converter.h>
#include <python-frontend/type/type_utils.h>
#include <python-frontend/tuple/tuple_handler.h>
#include <python-frontend/dynamic_type/dynamic_type_handler.h>
#include <python-frontend/exception/python_exception_handler.h>
#include <util/lang/c_typecast.h>
#include <util/lang/c_types.h>
#include <util/expr/expr_util.h>
#include <irep2/irep2_utils.h>
#include <util/irep/migrate.h>
#include <util/lang/python_types.h>

Include dependency graph for converter_unop.cpp:

Functions
static typet	unary_numeric_type (const std::string &op, const typet &operand_type, const typet &fallback)

Function Documentation

unary_numeric_type()

typet unary_numeric_type ( const std::string & op, const typet & operand_type, const typet & fallback )

static