util Directory Reference

Files
file	arith_tools.cpp [code]
file	arith_tools.h [code]
file	array_element_from_pointer.cpp [code]
file	array_element_from_pointer.h [code]
file	array_name.cpp [code]
file	array_name.h [code]
file	as_const.h [code]
file	base_exceptions.h [code]
file	bitvector_expr.cpp [code]
file	bitvector_expr.h [code]
file	bitvector_types.cpp [code]
file	bitvector_types.h [code]
file	bv_arithmetic.cpp [code]
file	bv_arithmetic.h [code]
file	byte_operators.cpp [code]
file	byte_operators.h [code]
	Expression classes for byte-level operators.
file	c_types.cpp [code]
file	c_types.h [code]
file	c_types_util.h [code]
file	cmdline.cpp [code]
file	cmdline.h [code]
file	config.cpp [code]
file	config.h [code]
file	constructor_of.h [code]
file	container_utils.h [code]
file	cout_message.cpp [code]
file	cout_message.h [code]
file	cow.h [code]
file	cprover_prefix.h [code]
file	dense_integer_map.h [code]
file	deprecate.h [code]
file	dstring.cpp [code]
file	dstring.h [code]
file	edit_distance.cpp [code]
file	edit_distance.h [code]
file	endianness_map.cpp [code]
file	endianness_map.h [code]
file	exception_utils.cpp [code]
file	exception_utils.h [code]
file	exit_codes.h [code]
file	expanding_vector.h [code]
file	expr.cpp [code]
file	expr.h [code]
file	expr_cast.h [code]
	Templated functions to cast to specific exprt-derived classes.
file	expr_initializer.cpp [code]
file	expr_initializer.h [code]
file	expr_iterator.h [code]
file	expr_util.cpp [code]
file	expr_util.h [code]
	Deprecated expression utility functions.
file	file_util.cpp [code]
file	file_util.h [code]
file	find_macros.cpp [code]
file	find_macros.h [code]
file	find_symbols.cpp [code]
file	find_symbols.h [code]
file	fixed_keys_map_wrapper.h [code]
file	fixedbv.cpp [code]
file	fixedbv.h [code]
file	floatbv_expr.cpp [code]
file	floatbv_expr.h [code]
file	format.h [code]
file	format_constant.cpp [code]
file	format_constant.h [code]
file	format_expr.cpp [code]
file	format_expr.h [code]
file	format_number_range.cpp [code]
file	format_number_range.h [code]
file	format_spec.h [code]
file	format_type.cpp [code]
file	format_type.h [code]
file	forward_list_as_map.h [code]
file	freer.h [code]
file	fresh_symbol.cpp [code]
file	fresh_symbol.h [code]
file	get_base_name.cpp [code]
file	get_base_name.h [code]
file	get_module.cpp [code]
file	get_module.h [code]
file	graph.h [code]
file	identifier.cpp [code]
file	identifier.h [code]
file	ieee_float.cpp [code]
file	ieee_float.h [code]
file	infix.h [code]
file	integer_interval.h [code]
file	interval.cpp [code]
file	interval.h [code]
file	interval_constraint.cpp [code]
file	interval_constraint.h [code]
file	interval_template.h [code]
file	interval_union.cpp [code]
file	interval_union.h [code]
file	invariant.cpp [code]
file	invariant.h [code]
file	invariant_utils.cpp [code]
file	invariant_utils.h [code]
file	irep.cpp [code]
file	irep.h [code]
file	irep_hash.cpp [code]
file	irep_hash.h [code]
file	irep_hash_container.cpp [code]
file	irep_hash_container.h [code]
file	irep_ids.cpp [code]
file	irep_ids.h [code]
file	irep_serialization.cpp [code]
file	irep_serialization.h [code]
file	journalling_symbol_table.h [code]
	Author: Diffblue Ltd.
file	json.cpp [code]
file	json.h [code]
file	json_irep.cpp [code]
file	json_irep.h [code]
file	json_stream.cpp [code]
file	json_stream.h [code]
file	lazy.h [code]
file	lispexpr.cpp [code]
file	lispexpr.h [code]
file	lispirep.cpp [code]
file	lispirep.h [code]
file	magic.h [code]
	Magic numbers used throughout the codebase.
file	make_unique.h [code]
file	mathematical_expr.cpp [code]
file	mathematical_expr.h [code]
file	mathematical_types.cpp [code]
file	mathematical_types.h [code]
file	memory_info.cpp [code]
file	memory_info.h [code]
file	memory_units.cpp [code]
file	memory_units.h [code]
file	merge_irep.cpp [code]
file	merge_irep.h [code]
file	message.cpp [code]
file	message.h [code]
file	mp_arith.cpp [code]
file	mp_arith.h [code]
file	namespace.cpp [code]
file	namespace.h [code]
file	narrow.h [code]
file	nfa.h [code]
file	nodiscard.h [code]
file	nondet_bool.h [code]
file	numbering.h [code]
file	object_factory_parameters.cpp [code]
file	object_factory_parameters.h [code]
file	optional.h [code]
file	optional_utils.h [code]
file	options.cpp [code]
file	options.h [code]
file	parse_options.cpp [code]
file	parse_options.h [code]
file	parser.cpp [code]
file	parser.h [code]
file	piped_process.cpp [code]
file	piped_process.h [code]
file	pointer_expr.cpp [code]
file	pointer_expr.h [code]
file	pointer_offset_size.cpp [code]
file	pointer_offset_size.h [code]
file	pointer_offset_sum.cpp [code]
file	pointer_offset_sum.h [code]
file	pointer_predicates.cpp [code]
file	pointer_predicates.h [code]
file	prefix.h [code]
file	prefix_filter.cpp [code]
file	prefix_filter.h [code]
file	preprocessor.h [code]
file	range.h [code]
file	rational.cpp [code]
file	rational.h [code]
file	rational_tools.cpp [code]
file	rational_tools.h [code]
file	ref_expr_set.cpp [code]
file	ref_expr_set.h [code]
file	reference_counting.h [code]
file	refined_string_type.cpp [code]
file	refined_string_type.h [code]
file	rename.cpp [code]
file	rename.h [code]
file	rename_symbol.cpp [code]
file	rename_symbol.h [code]
file	replace_expr.cpp [code]
file	replace_expr.h [code]
file	replace_symbol.cpp [code]
file	replace_symbol.h [code]
file	run.cpp [code]
file	run.h [code]
file	sharing_map.h [code]
file	sharing_node.h [code]
file	signal_catcher.cpp [code]
file	signal_catcher.h [code]
file	simplify_expr.cpp [code]
file	simplify_expr.h [code]
file	simplify_expr_array.cpp [code]
file	simplify_expr_boolean.cpp [code]
file	simplify_expr_class.h [code]
file	simplify_expr_floatbv.cpp [code]
file	simplify_expr_if.cpp [code]
file	simplify_expr_int.cpp [code]
file	simplify_expr_pointer.cpp [code]
file	simplify_expr_struct.cpp [code]
file	simplify_utils.cpp [code]
file	simplify_utils.h [code]
file	small_map.h [code]
file	small_shared_n_way_ptr.h [code]
file	small_shared_ptr.h [code]
file	source_location.cpp [code]
file	source_location.h [code]
file	sparse_vector.h [code]
file	ssa_expr.cpp [code]
file	ssa_expr.h [code]
file	std_code.cpp [code]
file	std_code.h [code]
file	std_code_base.h [code]
file	std_expr.cpp [code]
file	std_expr.h [code]
file	std_types.cpp [code]
file	std_types.h [code]
file	string2int.cpp [code]
file	string2int.h [code]
file	string_constant.cpp [code]
file	string_constant.h [code]
file	string_container.cpp [code]
file	string_container.h [code]
file	string_expr.h [code]
file	string_hash.cpp [code]
file	string_hash.h [code]
file	string_utils.cpp [code]
file	string_utils.h [code]
file	structured_data.cpp [code]
file	structured_data.h [code]
file	suffix.h [code]
file	symbol.cpp [code]
file	symbol.h [code]
	Symbol table entry.
file	symbol_table.cpp [code]
file	symbol_table.h [code]
	Author: Diffblue Ltd.
file	symbol_table_base.cpp [code]
file	symbol_table_base.h [code]
	Author: Diffblue Ltd.
file	symbol_table_builder.h [code]
file	tempdir.cpp [code]
file	tempdir.h [code]
file	tempfile.cpp [code]
file	tempfile.h [code]
file	threeval.cpp [code]
file	threeval.h [code]
file	timestamper.cpp [code]
file	timestamper.h [code]
	Emit timestamps.
file	type.cpp [code]
file	type.h [code]
file	typecheck.cpp [code]
file	typecheck.h [code]
file	ui_message.cpp [code]
file	ui_message.h [code]
file	unicode.cpp [code]
file	unicode.h [code]
file	union_find.cpp [code]
file	union_find.h [code]
file	union_find_replace.cpp [code]
file	union_find_replace.h [code]
file	validate.h [code]
file	validate_expressions.cpp [code]
file	validate_expressions.h [code]
file	validate_helpers.h [code]
file	validate_types.cpp [code]
file	validate_types.h [code]
file	validation_interface.h [code]
file	validation_mode.h [code]
file	version.h [code]
file	xml.cpp [code]
file	xml.h [code]
file	xml_irep.cpp [code]
file	xml_irep.h [code]