graph: {title: "Exploration Space for Graph Traversal"
colorentry 42: 255 228 175
colorentry 43: 255 000 000
colorentry 44: 180 000 020
node.width: 14
node.height: 14
node.shape: circle
node.label: ""
node.color: 44
node.textcolor: 9
node.borderwidth: 1
equalydist: yes
orientation: left_to_right
portsharing: yes
edge.arrowsize: 0
edge.color: 9
xspace: 70
node.fontname: "helvR12"
graph: {title : "1"
label : "Start"
status: boxed
shape : box
borderwidth: 1
width : 60
height: 30
color : 42
orientation: left_to_right
yspace: 24
xspace: 30
xbase : 10
ybase : 10
layout_algorithm: tree
node.color: 0
node: { title: "11" color: 43 width: 20 height: 20 }
node: { title: "12" }
node: { title: "13" }
node: { title: "14" }
node: { title: "15" }
edge: { source:"11" target:"12" }
edge: { source:"11" target:"13" }
edge: { source:"12" target:"14" }
edge: { source:"13" target:"15" }
}
graph: {title : "2"
label : "A1"
status: boxed
shape : box
borderwidth: 1
width : 30
height: 30
color : 42
orientation: left_to_right
yspace: 24
xspace: 30
layout_algorithm: tree
node: { title: "21" }
node: { title: "22" color: 43 width: 20 height: 20 }
node: { title: "23" color: 43 width: 20 height: 20 }
node: { title: "24" color: 0 }
node: { title: "25" color: 0 }
edge: { source:"21" target:"22" }
edge: { source:"21" target:"23" }
edge: { source:"22" target:"24" }
edge: { source:"23" target:"25" }
}
graph: {title : "3"
label : "B2"
status: boxed
shape : box
borderwidth: 1
width : 30
height: 30
color : 42
orientation: left_to_right
yspace: 24
xspace: 30
layout_algorithm: tree
node: { title: "31" }
node: { title: "32" }
node: { title: "33" color: 43 width: 20 height: 20 }
node: { title: "34" color: 43 width: 20 height: 20 }
node: { title: "35" color: 0 }
edge: { source:"31" target:"32" }
edge: { source:"31" target:"33" }
edge: { source:"32" target:"34" }
edge: { source:"33" target:"35" }
}
graph: {title: "4"
label: "B1"
status: boxed
shape : box
borderwidth: 1
width : 30
height: 30
color: 42
orientation: left_to_right
yspace: 24
xspace: 30
layout_algorithm: tree
node: { title: "41" }
node: { title: "42" color: 43 width: 20 height: 20 }
node: { title: "43" }
node: { title: "44" color: 0 }
node: { title: "45" color: 43 width: 20 height: 20 }
edge: { source:"41" target:"42" }
edge: { source:"41" target:"43" }
edge: { source:"42" target:"44" }
edge: { source:"43" target:"45" }
}
graph: {title: "5"
label: "C3"
status: boxed
shape : box
borderwidth: 1
width : 30
height: 30
color: 42
orientation: left_to_right
yspace: 24
xspace: 30
layout_algorithm: tree
node: { title: "51" }
node: { title: "52" }
node: { title: "53" color: 43 width: 20 height: 20 }
node: { title: "54" }
node: { title: "55" color: 0 }
edge: { source:"51" target:"52" }
edge: { source:"51" target:"53" }
edge: { source:"52" target:"54" }
edge: { source:"53" target:"55" }
}
graph: {title: "6"
label: "C2"
status: boxed
shape : box
borderwidth: 1
width : 30
height: 30
color: 42
orientation: left_to_right
yspace: 24
xspace: 30
node.color: 44
layout_algorithm: tree
node: { title: "61" }
node: { title: "62" }
node: { title: "63" }
node: { title: "64" color: 43 width: 20 height: 20 }
node: { title: "65" color: 43 width: 20 height: 20 }
edge: { source:"61" target:"62" }
edge: { source:"61" target:"63" }
edge: { source:"62" target:"64" }
edge: { source:"63" target:"65" }
}
graph: {title: "7"
label: "C1"
status: boxed
shape : box
borderwidth: 1
width : 30
height: 30
color: 42
orientation: left_to_right
yspace: 24
xspace: 30
layout_algorithm: tree
node: { title: "71" }
node: { title: "72" color: 43 width: 20 height: 20 }
node: { title: "73" }
node: { title: "74" color: 0 }
node: { title: "75" }
edge: { source:"71" target:"72" }
edge: { source:"71" target:"73" }
edge: { source:"72" target:"74" }
edge: { source:"73" target:"75" }
}
graph: {title: "8"
label: "D2"
status: boxed
shape : box
borderwidth: 1
width : 30
height: 30
color: 42
orientation: left_to_right
yspace: 24
xspace: 30
layout_algorithm: tree
node: { title: "81" }
node: { title: "82" }
node: { title: "83" }
node: { title: "84" }
node: { title: "85" color: 43 width: 20 height: 20 }
edge: { source:"81" target:"82" }
edge: { source:"81" target:"83" }
edge: { source:"82" target:"84" }
edge: { source:"83" target:"85" }
}
graph: {title: "9"
label: "D1"
status: boxed
shape : box
borderwidth: 1
width : 30
height: 30
color: 42
orientation: left_to_right
yspace: 24
xspace: 30
layout_algorithm: tree
node: { title: "91" }
node: { title: "92" }
node: { title: "93" }
node: { title: "94" color: 43 width: 20 height: 20 }
node: { title: "95" }
edge: { source:"91" target:"92" }
edge: { source:"91" target:"93" }
edge: { source:"92" target:"94" }
edge: { source:"93" target:"95" }
}
graph: {title: "0"
label: "Goal"
status: boxed
shape : box
borderwidth: 1
width : 60
height: 30
color: 42
orientation: left_to_right
yspace: 24
xspace: 30
xbase: 10
ybase: 10
layout_algorithm: tree
node: { title: "01" }
node: { title: "02" }
node: { title: "03" }
node: { title: "04" }
node: { title: "05" }
edge: { source:"01" target:"02" }
edge: { source:"01" target:"03" }
edge: { source:"02" target:"04" }
edge: { source:"03" target:"05" }
}
edge.arrowsize: 8
edge: { source:"1" target:"2" }
edge: { source:"2" target:"3" }
edge: { source:"2" target:"4" }
edge: { source:"3" target:"5" }
edge: { source:"3" target:"6" }
edge: { source:"4" target:"6" }
edge: { source:"4" target:"7" }
edge: { source:"5" target:"8" }
edge: { source:"6" target:"8" }
edge: { source:"6" target:"9" }
edge: { source:"7" target:"9" }
edge: { source:"8" target:"0" }
edge: { source:"9" target:"0" }
edge.color: 0
edge.linestyle: invisible
node.color: white
graph: {title: "Legend"
label: "\nLegend\n"
bordercolor: 9
status: boxed
shape : box
borderwidth: 1
width : 60
height: 30
yspace: 5
xspace: 5
node: { title:"L3l" color: 44 }
node: { title:"L2l" color: 43 width: 20 height: 20 }
node: { title:"L1l" }
node.width:-1
node.borderwidth:0
node.fontname:"helvR08"
node: { title:"L1r" label:"unknown" }
node: { title:"L2r" label:"reachable"}
node: { title:"L3r" label:"visited" }
edge: { source:"L1l" target:"L1r" }
edge: { source:"L2l" target:"L2r" }
edge: { source:"L3l" target:"L3r" }
}
nearedge: { source:"0" target:"Legend" }
}
|
