crossmuch.gml

A Library of Efficient Data Types and Algorithms,封装了常用的ADT及其相关算法的软件包

					y	488.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	6
		target	7
		Version	3685232
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	376.000
					y	488.000
				]
				point	
				[
					Version	4544384
					x	328.000
					y	488.000
				]
				point	
				[
					x	328.000
					y	360.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	6
		target	10
		Version	3685184
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	376.000
					y	488.000
				]
				point	
				[
					Version	4544288
					x	440.000
					y	488.000
				]
				point	
				[
					x	440.000
					y	128.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	10
		target	11
		Version	3684896
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	440.000
					y	120.000
				]
				point	
				[
					Version	4544192
					x	488.000
					y	120.000
				]
				point	
				[
					x	488.000
					y	328.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	10
		target	14
		Version	3684704
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	440.000
					y	120.000
				]
				point	
				[
					Version	4544096
					x	104.000
					y	120.000
				]
				point	
				[
					x	104.000
					y	168.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	14
		target	15
		Version	3684656
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	104.000
					y	168.000
				]
				point	
				[
					Version	4544000
					x	296.000
					y	168.000
				]
				point	
				[
					x	296.000
					y	392.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	3
		target	4
		Version	3684416
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	528.000
					y	296.000
				]
				point	
				[
					Version	4543904
					x	8.00000
					y	296.000
				]
				point	
				[
					x	8.00000
					y	264.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	3
		target	7
		Version	3684368
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	520.000
					y	296.000
				]
				point	
				[
					Version	4543808
					x	520.000
					y	360.000
				]
				point	
				[
					x	336.000
					y	360.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	7
		target	8
		Version	3684032
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	336.000
					y	360.000
				]
				point	
				[
					Version	4543712
					x	40.0000
					y	360.000
				]
				point	
				[
					x	40.0000
					y	232.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	7
		target	11
		Version	3683984
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	344.000
					y	360.000
				]
				point	
				[
					Version	4543616
					x	344.000
					y	328.000
				]
				point	
				[
					x	480.000
					y	328.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	11
		target	12
		Version	3683456
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	472.000
					y	328.000
				]
				point	
				[
					Version	4543520
					x	472.000
					y	200.000
				]
				point	
				[
					x	72.0000
					y	200.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	11
		target	15
		Version	3683408
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	472.000
					y	328.000
				]
				point	
				[
					Version	4543424
					x	472.000
					y	392.000
				]
				point	
				[
					x	296.000
					y	392.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	15
		target	16
		Version	3683360
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	296.000
					y	392.000
				]
				point	
				[
					Version	4543328
					x	264.000
					y	392.000
				]
				point	
				[
					x	264.000
					y	424.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	4
		target	8
		Version	3683312
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	8.00000
					y	264.000
				]
				point	
				[
					Version	4543232
					x	8.00000
					y	232.000
				]
				point	
				[
					x	40.0000
					y	232.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	8
		target	12
		Version	3903488
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	40.0000
					y	232.000
				]
				point	
				[
					Version	4544864
					x	40.0000
					y	200.000
				]
				point	
				[
					x	72.0000
					y	200.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	12
		target	16
		Version	4041968
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	72.0000
					y	200.000
				]
				point	
				[
					Version	4545440
					x	72.0000
					y	424.000
				]
				point	
				[
					x	264.000
					y	424.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	14
		target	12
		Version	4042016
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	104.000
					y	168.000
				]
				point	
				[
					Version	4545536
					x	72.0000
					y	168.000
				]
				point	
				[
					x	72.0000
					y	200.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	9
		target	2
		Version	4042064
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	168.000
					y	88.0000
				]
				point	
				[
					Version	4545632
					x	168.000
					y	40.0000
				]
				point	
				[
					x	408.000
					y	40.0000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	10
		target	7
		Version	4042112
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	440.000
					y	136.000
				]
				point	
				[
					Version	4545728
					x	328.000
					y	136.000
				]
				point	
				[
					x	328.000
					y	360.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
	edge	
	[
		source	8
		target	3
		Version	4042160
		label	""
		graphics	
		[
			width	1.00000
			type	"line"
			fill	"#000000"
			arrow	"last"
			ArrowSize	10.0000
			SelfLoopAngle	0.00000
			Line	
			[
				point	
				[
					x	40.0000
					y	232.000
				]
				point	
				[
					Version	4545824
					x	520.000
					y	232.000
				]
				point	
				[
					x	520.000
					y	296.000
				]
			]
		]
		LabelGraphics	
		[
			x	0.00000
			y	0.00000
			BoxX	0.00000
			BoxY	0.00000
			w	0.00000
			h	0.00000
			type	"text"
			fill	"#000000"
			Angle	0.00000
			Position	0.00000
		]
	]
]