detail Directory Reference

Files
	action_utility.h
	Add your file description here.
	configuration.h
	instantiate_global_variables.h
	Instantiates the global variables of an LPS with concrete values.
	linear_process_conversion_traverser.h
	Converts a process expression into a linear process.
	lps_algorithm.h
	Add your file description here.
	lps_command.h
	add your file description here.
	make_timed_lps.h
	Helper for constructing a timed linear process specification.
	parameter_selection.h
	replace_global_variables.h
	Replaces assignments of global variables to parameters by an assignment of itself.
	specification_property_map.h
	A property map containing properties of an LPS specification.
	test_input.h
	This file contains some specifications used for testing.
	ultimate_delay.h
	This file defines the class ultimate_delay. An ultimate delay consists of a time variable t and expression exp(t,x) and free variables x. It can be read as a predicate on t of the form exists x.exp(t,x). If this is true for certain t, this indicates that a process can wait until time t.