source Directory Reference

Files
	linearise.cpp
	This file contains code to transform an mCRL2 process into a linear process.
	lps.cpp
	lps_io.cpp
	lpsparunfoldlib.cpp
	This file contains the code for the tool lpsparunfold that allows to replace complex data types by simpler ones.
	symbolic_lts_io.cpp
	tools.cpp