The drawing of graphs described here uses graphviz , a software for drawing graphs developed at AT & T Labs, that can be obtained at http://www.research.att.com/sw/tools/graphviz/ .
If you work under LINUX , you should install graphviz and create the directory ~ /dot-tmp .
> DrawAutomaton( A[, file] ) | ( function ) |
This function draws automaton A writing the needed data in file ~ /dot-tmp/file.
> DrawAutomata( A, B[, file] ) | ( function ) |
This function tests if automaton A is a subautomaton of B in which case draws B highlighting the edges not in A by drawing them in a dotted style, while the others are drawn in a plain style and writes the needed data in file ~ /dot-tmp/file.
> DrawGraph( G[, file] ) | ( function ) |
Draws a graph specified as an adjacency list G and writes the needed data in file ~ /dot-tmp/file.
> DrawSCCAutomaton( A[, file] ) | ( function ) |
Draws automaton A and highlights it's strongly connected components by drawing their edges in a dotted style and their vertices in a lighter colour. Writes the needed data in file ~ /dot-tmp/file.
generated by GAPDoc2HTML