python_math.cpp File Reference

#include <python-frontend/math/python_math.h>
#include <python-frontend/python_converter.h>
#include <python-frontend/exception/python_exception_handler.h>
#include <python-frontend/tuple/tuple_handler.h>
#include <python-frontend/math/python_int_overflow.h>
#include <python-frontend/type/type_utils.h>
#include <python-frontend/math/math_guard_utils.h>
#include <python-frontend/type/type_handler.h>
#include <python-frontend/python_expr_builder.h>
#include <util/lang/c_typecast.h>
#include <irep2/irep2_utils.h>
#include <util/arith/arith_tools.h>
#include <util/arith/bitvector.h>
#include <util/lang/c_types.h>
#include <util/config/config.h>
#include <util/arith/ieee_float.h>
#include <util/irep/migrate.h>
#include <util/irep/std_code.h>
#include <util/irep/std_types.h>
#include <util/lang/python_types.h>
#include <util/message/message.h>
#include <cmath>
#include <limits>

Include dependency graph for python_math.cpp:

Functions
static exprt	power_of_two (const exprt &exponent)
	2.0 ** n for an integer n, as the IEEE double those bits spell: exact, like pow(), but bit-vector arithmetic the solver need not treat as floating point (#8877).
static bool	rejected_by_divmod (const typet &t, const typet &list_type)
	The built-in types divmod rejects.

Function Documentation

power_of_two()

exprt power_of_two ( const exprt & exponent )

static

2.0 ** n for an integer n, as the IEEE double those bits spell: exact, like pow(), but bit-vector arithmetic the solver need not treat as floating point (#8877).

rejected_by_divmod()

bool rejected_by_divmod ( const typet & t, const typet & list_type )

static

The built-in types divmod rejects.

A class instance may define divmod, and an unannotated any_type is unknown here, so neither is rejected.