substitutions Directory Reference

Files
	assignment_sequence_substitution.h
	add your file description here.
	data_expression_assignment.h
	add your file description here.
	enumerator_substitution.h
	add your file description here.
	maintain_variables_in_rhs.h
	This class extends a substitution to recall the variables that occur in its right hand side. It assumes the presence of an operation sigma[x]=v to set values of a variable. If sigma[x]=x, this is seen as clearing the variable, and x is not recalled. The variables recalled are an overapproximation. By regular garbage collection the
	map_substitution.h
	add your file description here.
	mutable_indexed_substitution.h
	add your file description here.
	mutable_map_substitution.h
	add your file description here.
	mutable_substitution_composer.h
	add your file description here.
	no_substitution.h
	add your file description here.
	sequence_sequence_substitution.h
	add your file description here.
	sort_expression_assignment.h
	add your file description here.
	variable_substitution.h