process Directory Reference

Directories
	detail

Files
	action_label.h
	The class action_label.
	action_name_multiset.h
	add your file description here.
	action_names.h
	facilities to compute an overapproximation of the set of action names that can occur in a process expression.
	add_binding.h
	add your file description here.
	allow_set.h
	add your file description here.
	alphabet.h
	add your file description here.
	alphabet_efficient.h
	add your file description here.
	alphabet_operations.h
	add your file description here.
	alphabet_pcrl.h
	add your file description here.
	alphabet_reduce.h
	add your file description here.
	anonymize.h
	add your file description here.
	balance_nesting_depth.h
	add your file description here.
	builder.h
	add your file description here.
	communication_expression.h
	add your file description here.
	eliminate_trivial_equations.h
	add your file description here.
	eliminate_unused_equations.h
	add your file description here.
	expand_process_instance_assignments.h
	add your file description here.
	find.h
	add your file description here.
	is_communicating_lpe.h
	add your file description here.
	is_guarded.h
	add your file description here.
	is_linear.h
	add your file description here.
	is_multi_action.h
	add your file description here.
	is_well_typed.h
	add your file description here.
	join.h
	add your file description here.
	merge_action_specifications.h
	add your file description here.
	multi_action_name.h
	add your file description here.
	normalize_sorts.h
	add your file description here.
	parse.h
	Parse function for process specifications.
	parse_impl.h
	add your file description here.
	print.h
	add your file description here.
	process_equation.h
	add your file description here.
	process_expression.h
	add your file description here.
	process_identifier.h
	add your file description here.
	process_specification.h
	add your file description here.
	process_variable_strongly_connected_components.h
	add your file description here.
	remove_equations.h
	add your file description here.
	rename_expression.h
	add your file description here.
	replace.h
	add your file description here.
	replace_capture_avoiding.h
	add your file description here.
	replace_capture_avoiding_with_an_identifier_generator.h
	add your file description here.
	replace_subterm.h
	add your file description here.
	rewrite.h
	add your file description here.
	translate_user_notation.h
	add your file description here.
	traverser.h
	add your file description here.
	typecheck.h
	add your file description here.
	untyped_multi_action.h
	add your file description here.
	utility.h
	add your file description here.