lts_m2.dot

digraph
{
/**
 * dot graph for function g
 */
    edge [color = "purple"];
    0        [label = "0, #, #, #"];
    1        [label = "1, #, #, #"];
    0 -> 1   [label = "int x,y;"];
    2        [label = "2, 9 ,# ,#"];
    1 -> 2   [label = "x = 9;"];
    3        [label = "3, 9, 10, #"];
    2 -> 3   [label = "y = 10;"];
    4        [label = "4, 9, 10, 1"];
    3 -> 4   [label = "h = 1;"];
    6        [label = "6, 9 ,10, 1"];
    4 -> 6   [label = "!(x < 2)"];
    7        [label = "7, 9, 10, 2"];
    6 -> 7   [label = "h = 2;"];
    9        [label = "9, 9, 10, 2"];
    7 -> 9   [label = "!(h > 7)"];
    10       [label = "10, 9, 4, 2"];
    9 -> 10  [label = "y = 4;"];
    11       [label = "11, 9, 4 ,2"];
    10 -> 11 [label = "(x > 7)"];
    12       [label = "12 ,9, 4, 2"];
    11 -> 12 [label = "(h > 0)"];
    18       [label = "18, 9, 4, 2"];
    12 -> 18 [label = "break;"];
}