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
	trace.h
	This class allows to flexibly manipulate traces.
	transition.h
	A header file defining a transition as a triple from,label,to.