Copyright © 2008 Stephan Kreutzer and Sebastian Ordyniak, Oxford University Computing Laboratory
Table of Contents
GrALoG is a tool for visualising the results of algorithms running on graph-like mathematical structures. Through its plugins GrALoG is easily extendable, i.e. it is possible to implement your own mathematical structures and algorithms for GrALoG. GrALoG consists of three main parts:
Via plugins GrALoG is hugely extendable. A plugin can define it's own structures and algorithms that can be used in the GrALoG-Application.
Structures in GrALoG are mathematical graphs, where the vertices, edges and the structure itself can have arbitrary properties. That makes GrALoG-structures; suitable to a huge number of applications such as finite automata, game graphs, parity game graphs, transitionsystems, etc. .