nightly / lts

Templated Labelled Transition System class

LTS

Templated implementation of a Labelled Transition System class, with the three following template parameters:

• StateT: the type of the state (defaults to std::string)
• TransitionT: the type of transitions (defaults to std::string)
• HashF: the hash function that is used when storing the state type in the underlying unordered_map container. Defaults to std::hash<StateT>.

Adding custom types

To use this library with custom data types for states and transitions, the following should be done:

• Provide template specialization for std::hash<CustomType>, or specify another hash function in the 3rd optional parameter of the LTS template list
• For state parsing from strings, add a template specialization for ParseStateString.
• For transition parsing from strings, add a template specialization for ParseTransitionString.
• For outputting states and transitions, simply uses std::ostream& for console and std::ofstream& for files (GraphViz) for the data type.

Build instructions

Requirements

• CMake (>=3.22)
• Git (for submodule cloning)
• C++20 compiler

Cloning & updating

Clone the repository alongside its submodules (shallow submodule cloning is optional).

git clone --recurse-submodules --shallow-submodules https://github.com/nightly/lts

In case submodules have not been cloned, the following command can be run:

git submodule update --init --recursive

Acknowledgements

This work was supported by the SURE projects fund of the University of Bradford.