lts Directory Reference

Directories
	detail

Files
	action_label_string.h
	This file contains a class that contains labelled transition systems in aut format.
	lts.h
	The file containing the core class for transition systems.
	lts2lps.h
	This file contains functions to translate lts's into LPS format.
	lts_algorithm.h
	Algorithms for LTS, such as equivalence reductions, determinisation, etc.
	lts_aut.h
	This file contains a class that contains labelled transition systems in aut format.
	lts_builder.h
	add your file description here.
	lts_dot.h
	This file contains a class that contains labelled transition systems in dot format.
	lts_equivalence.h
	Type recording the equivalence reductions supported by the LTS library.
	lts_fsm.h
	This file contains a class that contains labelled transition systems in fsm format.
	lts_io.h
	This include file contains routines to read and write labelled transitions from and to files and from streams.
	lts_lts.h
	This file contains a class that contains labelled transition systems in lts (mcrl2) format.
	lts_preorder.h
	Supperted preorders for LTSes.
	lts_probabilistic_equivalence.h
	Type recording the probabilistic equivalence reductions supported by the LTS library.
	lts_type.h
	The file containing the types of labelled transition systems.
	lts_utilities.h
	This file contains some utility functions to manipulate lts's.
	parse.h
	A simple straighforward parser for .fsm files.
	probabilistic_lts.h
	The file containing the core class for transition systems.
	probabilistic_state.h
	sigref.h
	Implementation of LTS reductions using the signature refinement approach of S. Blom and S. Orzan.
	simulation.h
	state_label_empty.h
	This file contains the class with empty state labels.
	state_space_generator.h
	add your file description here.
	stochastic_lts_builder.h
	add your file description here.
	trace.h
	This class allows to flexibly manipulate traces.
	transition.h
	A header file defining a transition as a triple from,label,to.