detail Directory Reference

Directories
	prover
	rewrite

Files
	concepts.h
	data_construction.h
	add your file description here.
	data_functional.h
	Add your file description here.
	data_property_map.h
	A property map containing properties of an LPS specification.
	data_sequence_algorithm.h
	add your file description here.
	data_utility.h
	Add your file description here.
	enumerator_identifier_generator.h
	The class enumerator_identifier_genierator contains a generator of fresh identifier strings that works intimately together with the atermpp function_symbols to make it as efficient to generate fresh strings. Construction of a enumerator identifier generator is less efficient, as it sets up internal data structures and searches through all existing function symbols in the aterm library.
	enumerator_iteration_limit.h
	Stores a static variable that indicates the number of iterations allowed during enumeration.
	equal_sorts.h
	add your file description here.
	find.h
	add your file description here.
	function_update.h
	This files contains the implementation of the function "is_not_a_function_update" which was declared as"defined_by_code" in the file build/code_generation/data_types/function_update.spec.
	io.h
	add your file description here.
	is_untyped.h
	add your file description here.
	linear_inequalities_utilities.h
	Contains utility functions for linear inequalities.
	machine_word.h
	one_point_rule_preprocessor.h
	add your file description here.
	parse_substitution.h
	Add your file description here.
	parvalues.h
	Explore statically which parameter values may be reached.
	print_parse_check.h
	add your file description here.
	print_utility.h
	add your file description here.
	rewrite.h
	rewrite_statistics.h
	Global variable for collecting rewrite statistics.
	rewrite_strategies.h
	Utility functions for unit testing.
	rewriter_wrapper.h
	sequence_algorithm.h
	Add your file description here.
	split_finite_variables.h
	add your file description here.
	test_rewriters.h
	Functions for testing a rewriter.
	variable_context.h
	add your file description here.