JAGAL Tutorial

Documentation & Code Examples for the Java Graph Library

The Java Graph Library (JAGAL) is a Java library for modelling directed graphs. It comes with implementations of various types of graphs and transition systems, as well as utilities for their modification and traversal.

The source code can be found on the project’s Sourceforge page under:  https://github.com/iig-uni-freiburg/JAGAL.

This documentation is also available in the PDF file format: Jagal-Documentation V 1.0.0.

Contents:

1. Introduction
   1. Library Dependencies
   2. Package Structure
2. Basic Graphs
   1. Creating a Directed Graph
   2. Creating a Directed Weighted Graph
   3. Visualizing Graphs
3. Graph Traversal
   1. Tarjan’s Strongly Connected Components
   2. Custom Algorithm Using Traversal: Weakly Connected Graph
   3. Coloring
4. Transition System
   1. Unlabelled Transition Systems
   2. Labelled Transition Systems
   3. Serializing Transition Systems
   4. Parsing Transition System