util Directory Reference

Directory dependency graph for util:

Files
	arith_tools.cpp
	arith_tools.h
	array_element_from_pointer.cpp
	array_element_from_pointer.h
	array_name.cpp
	Misc Utilities.
	array_name.h
	Misc Utilities.
	as_const.h
	base_exceptions.h
	Generic exception types primarily designed for use with invariants.
	bitvector_expr.cpp
	bitvector_expr.h
	API to expression classes for bitvectors.
	bitvector_types.cpp
	Pre-defined bitvector types.
	bitvector_types.h
	Pre-defined bitvector types.
	bv_arithmetic.cpp
	bv_arithmetic.h
	byte_operators.cpp
	byte_operators.h
	Expression classes for byte-level operators.
	c_types.cpp
	c_types.h
	c_types_util.h
	This file contains functions, that should support test for underlying c types, in cases where this is required for analysis purpose.
	cmdline.cpp
	cmdline.h
	config.cpp
	config.h
	console.cpp
	console.h
	Console.
	constructor_of.h
	container_utils.h
	cout_message.cpp
	cout_message.h
	cow.h
	cprover_prefix.h
	dense_integer_map.h
	Dense integer map.
	deprecate.h
	dstring.cpp
	Container for C-Strings.
	dstring.h
	Container for C-Strings.
	edit_distance.cpp
	edit_distance.h
	endianness_map.cpp
	endianness_map.h
	exception_utils.cpp
	exception_utils.h
	exit_codes.h
	Document and give macros for the exit codes of CPROVER binaries.
	expanding_vector.h
	expr.cpp
	Expression Representation.
	expr.h
	expr_cast.h
	Templated functions to cast to specific exprt-derived classes.
	expr_initializer.cpp
	Expression Initialization.
	expr_initializer.h
	Expression Initialization.
	expr_iterator.h
	Forward depth-first search iterators These iterators' copy operations are expensive, so use auto&, and avoid std::next(), std::prev() and post-increment iterator.
	expr_util.cpp
	expr_util.h
	Deprecated expression utility functions.
	find_macros.cpp
	find_macros.h
	find_symbols.cpp
	find_symbols.h
	fixed_keys_map_wrapper.h
	A wrapper for maps that gives read-write access to elements but without allowing addition or removal of elements.
	fixedbv.cpp
	fixedbv.h
	floatbv_expr.cpp
	floatbv_expr.h
	API to expression classes for floating-point arithmetic.
	format.h
	format_constant.cpp
	format_constant.h
	format_expr.cpp
	Expression Pretty Printing.
	format_expr.h
	format_number_range.cpp
	Format vector of numbers into a compressed range.
	format_number_range.h
	Format vector of numbers into a compressed range.
	format_spec.h
	format_type.cpp
	format_type.h
	forward_list_as_map.h
	freer.h
	fresh_symbol.cpp
	Fresh auxiliary symbol creation.
	fresh_symbol.h
	Fresh auxiliary symbol creation.
	get_base_name.cpp
	get_base_name.h
	get_module.cpp
	Find module symbol using name.
	get_module.h
	Find module symbol using name.
	graph.h
	A Template Class for Graphs.
	help_formatter.cpp
	help_formatter.h
	Help Formatter.
	identifier.cpp
	identifier.h
	ieee_float.cpp
	ieee_float.h
	infix.h
	String infix shorthand.
	integer_interval.h
	interval.cpp
	interval.h
	interval_constraint.cpp
	interval_constraint.h
	interval_template.h
	interval_union.cpp
	interval_union.h
	Union of intervals.
	invariant.cpp
	invariant.h
	invariant_utils.cpp
	Invariant helper utilities.
	invariant_utils.h
	irep.cpp
	Internal Representation.
	irep.h
	irep_hash.cpp
	irep hash functions
	irep_hash.h
	irep hash functions
	irep_hash_container.cpp
	Hashing IREPs.
	irep_hash_container.h
	IREP Hash Container.
	irep_ids.cpp
	Internal Representation.
	irep_ids.h
	util
	irep_serialization.cpp
	binary irep conversions with hashing
	irep_serialization.h
	binary irep conversions with hashing
	journalling_symbol_table.h
	Author: Diffblue Ltd.
	json.cpp
	json.h
	json_irep.cpp
	Util.
	json_irep.h
	Util.
	json_stream.cpp
	json_stream.h
	lazy.h
	lispexpr.cpp
	lispexpr.h
	lispirep.cpp
	lispirep.h
	lower_byte_operators.cpp
	magic.h
	Magic numbers used throughout the codebase.
	mathematical_expr.cpp
	mathematical_expr.h
	API to expression classes for 'mathematical' expressions.
	mathematical_types.cpp
	Mathematical types.
	mathematical_types.h
	Mathematical types.
	memory_info.cpp
	memory_info.h
	memory_units.cpp
	memory_units.h
	merge_irep.cpp
	merge_irep.h
	message.cpp
	message.h
	mp_arith.cpp
	mp_arith.h
	namespace.cpp
	Namespace.
	namespace.h
	narrow.h
	nfa.h
	nondet_bool.h
	Nondeterministic boolean helper.
	numbering.h
	object_factory_parameters.cpp
	object_factory_parameters.h
	optional_utils.h
	options.cpp
	Options.
	options.h
	Options.
	parse_options.cpp
	parse_options.h
	parser.cpp
	parser.h
	Parser utilities.
	piped_process.cpp
	Subprocess communication with pipes.
	piped_process.h
	Subprocess communication with pipes.
	pointer_expr.cpp
	pointer_expr.h
	API to expression classes for Pointers.
	pointer_offset_size.cpp
	Pointer Logic.
	pointer_offset_size.h
	Pointer Logic.
	pointer_offset_sum.cpp
	Pointer Analysis.
	pointer_offset_sum.h
	Pointer Dereferencing.
	pointer_predicates.cpp
	Various predicates over pointers in programs.
	pointer_predicates.h
	Various predicates over pointers in programs.
	prefix.h
	prefix_filter.cpp
	Prefix Filtering.
	prefix_filter.h
	Prefix Filtering.
	preprocessor.h
	Preprocessing Base Class.
	range.h
	Ranges: pair of begin and end iterators, which can be initialized from containers, provide useful methods such as map, filter and concat which only manipulate iterators, and can be used with ranged-for.
	rational.cpp
	Rational Numbers.
	rational.h
	rational_tools.cpp
	Rational Numbers.
	rational_tools.h
	ref_expr_set.cpp
	Value Set.
	ref_expr_set.h
	Value Set.
	reference_counting.h
	Reference Counting.
	refined_string_type.cpp
	Type for string expressions used by the string solver.
	refined_string_type.h
	Type for string expressions used by the string solver.
	rename.cpp
	rename.h
	rename_symbol.cpp
	rename_symbol.h
	replace_expr.cpp
	replace_expr.h
	replace_symbol.cpp
	replace_symbol.h
	run.cpp
	run.h
	sharing_map.h
	Sharing map.
	sharing_node.h
	Sharing node.
	signal_catcher.cpp
	signal_catcher.h
	simplify_expr.cpp
	simplify_expr.h
	simplify_expr_array.cpp
	simplify_expr_boolean.cpp
	simplify_expr_class.h
	simplify_expr_floatbv.cpp
	simplify_expr_if.cpp
	simplify_expr_int.cpp
	simplify_expr_pointer.cpp
	simplify_expr_struct.cpp
	simplify_utils.cpp
	simplify_utils.h
	small_map.h
	Small map.
	small_shared_n_way_ptr.h
	small_shared_ptr.h
	source_location.cpp
	source_location.h
	sparse_vector.h
	Sparse Vectors.
	ssa_expr.cpp
	ssa_expr.h
	std_code.cpp
	Data structure representing different types of statements in a program.
	std_code.h
	std_code_base.h
	std_expr.cpp
	std_expr.h
	API to expression classes.
	std_types.cpp
	Pre-defined types.
	std_types.h
	Pre-defined types.
	string2int.cpp
	string2int.h
	string_constant.cpp
	string_constant.h
	string_container.cpp
	Container for C-Strings.
	string_container.h
	Container for C-Strings.
	string_expr.h
	String expressions for the string solver.
	string_hash.cpp
	string hashing
	string_hash.h
	string hashing
	string_utils.cpp
	string_utils.h
	structured_data.cpp
	structured_data.h
	substitute_symbols.cpp
	Free Symbols.
	substitute_symbols.h
	Symbol Substitution.
	suffix.h
	symbol.cpp
	symbol.h
	Symbol table entry.
	symbol_table.cpp
	symbol_table.h
	Author: Diffblue Ltd.
	symbol_table_base.cpp
	symbol_table_base.h
	Author: Diffblue Ltd.
	symbol_table_builder.h
	tempdir.cpp
	tempdir.h
	tempfile.cpp
	tempfile.h
	threeval.cpp
	threeval.h
	timestamper.cpp
	timestamper.h
	Emit timestamps.
	type.cpp
	Implementations of some functions of typet.
	type.h
	Defines typet, type_with_subtypet and type_with_subtypest.
	typecheck.cpp
	typecheck.h
	ui_message.cpp
	ui_message.h
	unicode.cpp
	unicode.h
	union_find.cpp
	union_find.h
	union_find_replace.cpp
	union_find_replace.h
	validate.h
	validate_expressions.cpp
	validate_expressions.h
	validate_helpers.h
	validate_types.cpp
	validate_types.h
	validation_interface.h
	validation_mode.h
	version.h
	xml.cpp
	xml.h
	xml_irep.cpp
	xml_irep.h