The Graphs library provides different functionality which is based on Graph Theory and graph representation. The current functionality is:
- General Graph functionality: For modelling data as graph and to use some verifiers based on graphs like search for cycles and dead ends
- State Models: State models are modeled as graphs and provide additional functionality for state model evaluation, state checks and state switching.
- Trees: The trees are used as tree data structure and data models.