The software is able to print the output in dot language, a language that provides a simple way of describing graphs that both humans and computer programs can use.
Two command line options are supported:
There are various programs that can further process such output, for example rendering it into some image format. With the tool Graphviz the user can easily render graphics from HSolver . For example, the command
./hsolver -d -a 5 < input.hs | dot -Tgif -o output.gif.
will create an image file output.gif at the moment when the number of abstract states reaches 5. Clutter can be removed by filtering the output through tred which removes edges implied by transitivity.
Nodes of the graph represent abstract states of the hybrid system. They are grouped by the mode they represent. The list of possible transitions follows a list of all nodes. The meaning of the coloring of nodes is as follows:
The produced output would look like this: