sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: . sascha@351: sascha@351: sascha@351: digraph transition_model { sascha@351: sascha@351: } sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: ${artifacts.config.dir} sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: subgraph sascha@351: { sascha@351: label = "Artefakt: sascha@351: sascha@351: "; sascha@351: sascha@351: sascha@351: } sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: " sascha@351: sascha@351: " [ shape = "record" label=<<table border="0" cellborder="0" cellpadding="3"> sascha@351: <tr><td align="center" colspan="2" bgcolor="black"><font color="white"> sascha@351: sascha@351: </font></td></tr> sascha@351: sascha@351: </table>>] sascha@351: ; sascha@351: sascha@351: sascha@351: sascha@351: <tr><td align="right"> sascha@351: sascha@351: </td><td align="left"> sascha@351: sascha@351: </td></tr> sascha@351: sascha@351: sascha@351: sascha@351: " sascha@351: sascha@351: " -> " sascha@351: sascha@384: " sascha@351: sascha@384: ; sascha@351: sascha@351: sascha@351: sascha@351: [ label=" sascha@2168: sascha@351: sascha@2168: sascha@2168: sascha@2168: sascha@351: sascha@351: sascha@351: " ] sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@2168: sascha@2168: sascha@2168: sascha@2168: = sascha@2168: != sascha@2168: sascha@2168: sascha@2168: sascha@2168: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: sascha@351: