lps Directory Reference

Directories
	detail
	rewriters

Files
	action_rename.h
	Action rename specifications.
	action_summand.h
	add your file description here.
	add_binding.h
	add your file description here.
	binary.h
	The binary algorithm.
	builder.h
	add your file description here.
	confluence.h
	add your file description here.
	confluence_checker.h
	constelm.h
	Add your file description here.
	deadlock.h
	add your file description here.
	deadlock_summand.h
	add your file description here.
	decluster.h
	Split summands with disjuncts as conditions.
	disjointness_checker.h
	exploration_strategy.h
	explorer.h
	add your file description here.
	explorer_options.h
	add your file description here.
	find.h
	find_representative.h
	add your file description here.
	if_rewrite.h
	add your file description here.
	invariant_checker.h
	invelm_algorithm.h
	Interface to class invariant_eliminator.
	io.h
	IO routines for linear process specifications.
	is_stochastic.h
	add your file description here.
	is_well_typed.h
	add your file description here.
	linear_process.h
	The class linear_process.
	linearisation_method.h
	linearise.h
	Linearisation of process specifications.
	lps_rewriter_tool.h
	Base class for tools that use an lps rewriter.
	lps_rewriter_type.h
	add your file description here.
	lps_summand_group.h
	lpsparunfoldlib.h
	lpsreach.h
	add your file description here.
	ltsmin.h
	add your file description here.
	multi_action.h
	Multi-action class.
	multi_action_parse.h
	add your file description here.
	normalize_sorts.h
	add your file description here.
	one_point_rule_rewrite.h
	order_summand_variables.h
	add your file description here.
	parelm.h
	The parelm algorithm.
	parse.h
	add your file description here.
	parse_impl.h
	add your file description here.
	print.h
	add your file description here.
	probabilistic_data_expression.h
	This file contains a class that contains labels for probabilistic transitions as a mCRL2 data expression of type real.
	process_initializer.h
	The class process_initializer.
	remove.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_constants_by_variables.h
	add your file description here.
	resolve_name_clashes.h
	add your file description here.
	rewrite.h
	add your file description here.
	specification.h
	The class specification.
	state.h
	The class summand.
	state_probability_pair.h
	This file contains a class with a state/probability pair.
	stochastic_action_summand.h
	add your file description here.
	stochastic_distribution.h
	add your file description here.
	stochastic_linear_process.h
	add your file description here.
	stochastic_process_initializer.h
	add your file description here.
	stochastic_specification.h
	stochastic_state.h
	add your file description here.
	sumelm.h
	Provides an implementation of the sum elimination lemma, as well as the removal of unused summation variables. The sum elimination lemma is the following: sum d:D . d == e -> X(d) = X(e). Removal of unused summation variables is according to the following lemma: d not in x implies sum d:D . x = x.
	suminst.h
	Instantiate summation variables.
	summand.h
	The class summand.
	symbolic_lts.h
	symbolic_lts_bisim.h
	symbolic_lts_io.h
	tools.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.
	untime.h
	Removes time from a linear process.