demo/coloring.lgf
changeset 1902 e9af75c90c28
parent 1683 13648409b596
child 1909 2d806130e700
equal deleted inserted replaced
0:4a2c7f59936e 1:32592a6ded77
     1 @nodeset 
     1 @nodeset 
     2 coords	id	
     2 coords	label	
     3 (162, 142)	10	
     3 (162, 142)	10	
     4 (169, -35)	9	
     4 (169, -35)	9	
     5 (-154, -37)	8	
     5 (-154, -37)	8	
     6 (-1, 12)	7	
     6 (-1, 12)	7	
     7 (-87, -197)	6	
     7 (-87, -197)	6	
    10 (-89, 224)	3	
    10 (-89, 224)	3	
    11 (-327, 46)	2	
    11 (-327, 46)	2	
    12 (157, -150)	1	
    12 (157, -150)	1	
    13 (-282, -149)	0	
    13 (-282, -149)	0	
    14 @undiredgeset 
    14 @undiredgeset 
    15 		id	
    15 		label	
    16 9	10	17	
    16 9	10	17	
    17 1	9	15	
    17 1	9	15	
    18 3	9	14	
    18 3	9	14	
    19 2	8	4	
    19 2	8	4	
    20 6	8	1	
    20 6	8	1