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

build_array(const typet &sub_type, const size_t size) const	type_handler
build_optional_type(const typet &base_type) const	type_handler
class_derives_from(const std::string &class_name, const std::string &expected_base) const	type_handler
class_value_type()	type_handler	static
get_array_dimensions(const nlohmann::json &arr) const	type_handler
get_array_type_shape(const typet &array_type) const	type_handler
get_dict_type() const	type_handler
get_dict_type(const nlohmann::json &dict_value) const	type_handler
get_generic_typet(const std::string &ast_type, size_t bracket_pos, size_t type_size) const	type_handler
get_list_element_type() const	type_handler
get_list_type(const nlohmann::json &list_value) const	type_handler
get_list_type() const	type_handler
get_operand_type(const nlohmann::json &operand) const	type_handler
get_python_type_name(const typet &t) const	type_handler
get_slice_type() const	type_handler
get_tagged_object_type() const	type_handler
get_type_width(const typet &type) const	type_handler
get_typet(const std::string &ast_type, size_t type_size=0) const	type_handler
get_typet(const nlohmann::json &elem) const	type_handler
get_var_classname(const nlohmann::json &value_node) const	type_handler
get_var_type(const std::string &var_name) const	type_handler
has_multiple_types(const nlohmann::json &container) const	type_handler
is_2d_array(const nlohmann::json &arr) const	type_handler
is_class_value_type(const typet &type)	type_handler	static
is_constructor_call(const nlohmann::json &json) const	type_handler
is_numeric_scalar_type(const typet &t) const	type_handler
is_pointer_free(const typet &t) const	type_handler
is_pointer_record(const typet &t) const	type_handler
is_string_type(const typet &t) const	type_handler
is_tagged_scalar_type(const typet &t) const	type_handler
ptr_free_arg(const exprt &payload, const typet &elem_type) const	type_handler
python_int_typet()	type_handler	static
python_int_width()	type_handler	static
resolve_builtin_alias(const std::string &name) const	type_handler
scalar_array_element_type(const nlohmann::json &elem) const	type_handler
tagged_scalar_byte_size(const exprt &value) const	type_handler
tagged_scalar_type_id(const typet &type) const	type_handler
tagged_scalar_type_matches(const exprt &tagged_type_id, const typet &literal_type) const	type_handler
type_handler(const python_converter &converter)	type_handler
type_to_string(const typet &t) const	type_handler