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.