
Its key features include among others:
- Implementation of directed graphs
- Implementation of directed weighted graphs
- Graph algorithms (Tarjan for SCCs)
- Graph visualization (Circle layout)
- Graph traversal (depth first, breadth first)
- Traversal utils (Predecessors, Siblings, Cycles, ...)
- Implementation of Transition Systems
- Implementation of Labelled Transition Systems
- JAGAL builds upon the Java library TOVAL, which is a set of Java classes for common programming issues. It is located under https://github.com/GerdHolz/TOVAL.
- For the visualization of graphs, JAGAL uses the JGraphX library, which is a Java Swing diagramming library specialized on node-edge graphs.
A detailled documentation of JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.
The most recent release is JAGAL 1.0.2, released January 22, 2016.
To add a dependency on JAGAL using Maven, use the following:
<dependency>
<groupId>de.uni.freiburg.iig.telematik</groupId>
<artifactId>JAGAL</artifactId>
<version>1.0.2</version>
</dependency>Older releases can be found under https://github.com/iig-uni-freiburg/JAGAL/releases.