
 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_arbitrary_precision_fraction.h 
 This file contains a class that contains labels for probabilistic transitions. These consist of a 64 bit enumerator and denominator. This library maintains precision as long as the enuemerator and denominator fit in 64 bits positive numbers. If they do not fit, rounding is applied.


 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.

