type_utils Member List

This is the complete list of members for type_utils, including all inherited members.

annotation_admits_none(const nlohmann::json &ann)	type_utils	inlinestatic
argument_identifier(const code_typet::argumentt &argument)	type_utils	inlinestatic
array_scalar_type(const typet &type)	type_utils	inlinestatic
extract_binop_union_types(const nlohmann::json &binop_node)	type_utils	inlinestatic
extract_union_types(const nlohmann::json &slice)	type_utils	inlinestatic
get_cpp_type(const typet &t)	type_utils	inlinestatic
get_type_from_consensus_func(const std::string &name)	type_utils	inlinestatic
is_builtin_type(const std::string &name)	type_utils	inlinestatic
is_bytes_array(const typet &t)	type_utils	inlinestatic
is_c_model_func(const std::string &func_name)	type_utils	inlinestatic
is_char_type(const typet &t)	type_utils	inlinestatic
is_consensus_func(const std::string &name)	type_utils	inlinestatic
is_consensus_type(const std::string &name)	type_utils	inlinestatic
is_dict_subscript(const nlohmann::json &element)	type_utils	inlinestatic
is_float_vs_char(const exprt &a, const exprt &b)	type_utils	inlinestatic
is_integer_type(const typet &type)	type_utils	inlinestatic
is_nondet_collection_builder(const std::string &name)	type_utils	inlinestatic
is_numpy_complex_array(const typet &type)	type_utils	inlinestatic
is_numpy_string_array(const typet &type)	type_utils	inlinestatic
is_optional_scalar(const typet &t)	type_utils	inlinestatic
is_optional_str_pointer(const typet &t)	type_utils	inlinestatic
is_optional_struct(const typet &t)	type_utils	inlinestatic
is_ordered_comparison(const std::string &op)	type_utils	inlinestatic
is_python_exceptions(const std::string &name)	type_utils	inlinestatic
is_python_model_func(const std::string &name)	type_utils	inlinestatic
is_relational_op(const std::string &op)	type_utils	inlinestatic
is_str_only_method(const std::string &name)	type_utils	inlinestatic
is_string_type(const typet &type)	type_utils	inlinestatic
is_type_identifier(const std::string &name)	type_utils	inlinestatic
is_typeddict(const std::string &name)	type_utils	inlinestatic
remove_member_name(typet &t)	type_utils	inlinestatic
remove_quotes(const std::string &str)	type_utils	inlinestatic
select_widest_type(const TypeFlags &flags, const typet &default_type)	type_utils	inlinestatic
set_cpp_type(typet &t, const irep_idt &value)	type_utils	inlinestatic
set_member_name(typet &t, const irep_idt &value)	type_utils	inlinestatic
strip_pep515_underscores(const std::string &s, std::string &out)	type_utils	inlinestatic