Feature #688

extend IO with DOT format

Added by Alfons Laarman over 7 years ago. Updated over 6 years ago.

Status:NewStart date:08 Feb 2013
Priority:NormalDue date:
Assignee:Jeroen Meijer% Done:


Category:toolsSpent time:-
Target version:ltsmin-2.1


For easy inspection of state spaces it would be useful to have dot output.

Example code can be found in pins2lts-seq. If implemented in IO-lib, the output format will be supported by all tools.


#1 Updated by Freark van der Berg over 6 years ago

Branch bergfi/dot-io at http://deathegg.student.utwente.nl/git/ltsmin.git does this. Uses record output of dot and shows state vector, state labels and a single edge label
Some special labels:
custom_dot: allows the front-end to customize dot output (both edge and state label)
action: this edge label is printed as edge label
error: 0: normal, 1: state is coloured red (state label)
errormessage: char[] chunk containing an error message. If non-empty, is printed in the state (state label AND state vector variable)

#2 Updated by Alfons Laarman over 6 years ago

  • Assignee set to Jeroen Meijer

#3 Updated by Alfons Laarman over 6 years ago


Also available in: Atom PDF