cprover
|
Go to the source code of this file.
Functions | |
bool | is_number (const typet &type) |
bool | is_constant_or_has_constant_components (const typet &type, const namespacet &ns) |
Identify if a given type is constant itself or contains constant components. More... | |
bool is_constant_or_has_constant_components | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Identify if a given type is constant itself or contains constant components.
Examples include:
type | The type we want to query constness of. |
ns | The namespace, needed for resolution of symbols. |
Definition at line 47 of file type.cpp.
References namespace_baset::follow(), irept::get_bool(), typet::has_subtype(), irept::id(), is_constant_or_has_constant_components(), typet::subtype(), and to_struct_union_type().
Referenced by is_constant_or_has_constant_components(), and nondet_static().
bool is_number | ( | const typet & | type | ) |
Definition at line 25 of file type.cpp.
References irept::id().
Referenced by string_constraint_generatort::add_axioms_for_fractional_part(), 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().