Skip to content

Latest commit

 

History

History
38 lines (29 loc) · 1.67 KB

README.md

File metadata and controls

38 lines (29 loc) · 1.67 KB
Raw

LTS

standard ci.yml

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.