cprover
|
#include "type.h"
Go to the source code of this file.
Functions | |
bool | is_number (const typet &type) |
bool is_number | ( | const typet & | type | ) |
Definition at line 24 of file type.cpp.
References irept::id().
Referenced by string_constraint_generatort::add_axioms_from_int(), string_constraint_generatort::add_axioms_from_int_hex(), cpp_typecheck_resolvet::convert_identifier(), cpp_declarator_convertert::convert_new_symbol(), c_typecastt::implicit_typecast_followed(), goto_convertt::remove_post(), goto_convertt::remove_pre(), simplify_exprt::simplify_div(), simplify_exprt::simplify_minus(), simplify_exprt::simplify_mod(), simplify_exprt::simplify_mult(), simplify_exprt::simplify_plus(), simplify_exprt::simplify_power(), simplify_exprt::simplify_shifts(), simplify_exprt::simplify_unary_minus(), c_typecheck_baset::typecheck_expr_binary_arithmetic(), c_typecheck_baset::typecheck_expr_main(), c_typecheck_baset::typecheck_expr_rel(), c_typecheck_baset::typecheck_expr_shifts(), c_typecheck_baset::typecheck_expr_unary_arithmetic(), c_typecheck_baset::typecheck_side_effect_assignment(), and cpp_typecheckt::typecheck_side_effect_inc_dec().