mCRL2
Loading...
Searching...
No Matches
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_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.