Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • pedatestcontrib/droplet-sequence-generator
1 result
Show changes
Commits on Source (76)
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 6351 additions and 1 deletion
README.md
View file @ f2394909
Code for Emerging Computer Technologies
README:
=======
Code for Emerging Computer Technologies:
----------------------------------------
* build with ant (uses build.xml)
* run with java -jar build/dsgen.jar
archs/Experimente.txt 0 → 100644
View file @ f2394909
Experimente für S1Routing:
M2, D2, M1, F2, M0, D1, P
H2, M1, F2, M0, D1, P
M1, F2, H1, M0, D1, P
Experimente für S2Routing:
H3, M1, M3, M0, M5, P
F2, M1, M3, H0, M5, P
H3, M1, M3, H0, M5, P
M2, F2, M3, H0, M5, P
M2, F2, M1, M0, M5, P
M4, D1, M1, M0, M5, P
M2, H3, M1, M0, M5, P
M4, M1, M3, M0, M5, P
Experimente für S3Routing:
M0, M2, M5, M4, M1, D5, P
M0, M2, M5, M4, M1, M3, D5, P
M5, H5, M4, H2, M1, D5, P
F5, M2, M5, M4, M1, M3, D5, P
H1, M2, M5, M4, M1, M3, D5, P
M0, F5, H5, M4, M1, M3, D5, P
H1, M2, D1, M4, M1, M3, D5, P
M2, D1, M4, H2, M1, D5, P
M0, F5, M2, M5, M4, M1, D5, P
F5, M2, D1, M4, M1, M3, D5, P
Experimente für S4Routing:
M2, M6, H6, M3, M5, F6, M0, P
M2, M6, M3, M5, M4, F6, M0, P
H2, F3, M6, M3, M5, F6, M0, P
M6, H6, M3, M5, M4, F6, M0, P
M2, D2, M4, H1, M0, P
F3, M6, M3, M5, M4, F6, M0, P
M6, H6, F1, M5, M4, F6, M0, P
M6, H6, M3, D2, M4, H1, M0, P
D0, M1, F1, M5, M4, H1, M0, P
H2, M6, H6, M3, M5, F6, M0, P
M6, H6, M3, M5, M4, H1, M0, P
D0, H6, M3, M5, M4, H1, M0, P
Experimente für S5Routing:
M1, M2, M3, M6, H5, M5, M0, D1, P
F0, M4, F3, M3, M6, H5, M0, D1, P
H1, M4, H6, M3, F1, M5, M0, D1, P
F0, M4, H6, M3, F1, M5, M0, D1, P
M4, H6, M3, M6, H5, M5, M0, D1, P
M4, F3, D0, M3, M6, M5, H2, M0, D1, P
M1, M2, D0, M3, M6, M5, H2, M0, D1, P
M1, H4, F3, M3, F1, M5, M0, D1, P
M1, H4, D0, H6, M3, M6, H5, M0, D1, P
F0, M2, M3, M6, H5, M5, M0, D1, P
H1, M4, F3, M3, M6, H5, M0, D1, P
H1, M2, M3, M6, H5, M5, M0, D1, P
M1, M2, D0, M3, M6, H5, M0, D1, P
H1, M2, D0, M3, M6, H5, M0, D1, P
\ No newline at end of file
archs/S1Routing.gml 0 → 100644
View file @ f2394909
Creator "staticCodeAnalysis"
Version "1.0"
graph [
directed 1
label ""
node [
id 0
label "P"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ffc800"
outline "#000000"
]
]
node [
id 1
label "M2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 2
label "H2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 3
label "D2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 4
label "M1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 5
label "F2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 6
label "H1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 7
label "M0(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 8
label "D1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 9
label "bif0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 10
label "merger0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 11
label "merger1"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
edge [
source 0
target 1
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 2
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 10
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 1
target 3
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 2
target 10
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 10
target 4
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 3
target 10
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 4
target 5
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 5
target 9
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 9
target 6
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 9
target 11
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 6
target 11
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 11
target 7
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 7
target 8
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 8
target 0
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
]
\ No newline at end of file
archs/S2Routing.gml 0 → 100644
View file @ f2394909
Creator "staticCodeAnalysis"
Version "1.0"
graph [
directed 1
label ""
node [
id 0
label "P"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ffc800"
outline "#000000"
]
]
node [
id 1
label "M2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 2
label "M4(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 3
label "F2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 4
label "H3(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 5
label "D1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 6
label "M1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 7
label "M3(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 8
label "M0(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 9
label "H0(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 10
label "M5(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 11
label "bif0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 12
label "bif1"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 13
label "bif2"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 14
label "bif3"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 15
label "bif4"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 16
label "merger0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 17
label "merger1"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 18
label "merger2"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 19
label "merger3"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 20
label "merger4"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 21
label "merger5"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
edge [
source 0
target 1
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 2
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 16
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 17
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 1
target 11
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 2
target 12
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 16
target 3
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 17
target 4
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 11
target 16
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 11
target 17
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 12
target 5
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 12
target 18
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 3
target 13
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 4
target 18
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 5
target 18
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 18
target 6
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 13
target 18
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 13
target 19
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 6
target 14
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 19
target 7
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 14
target 19
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 14
target 20
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 7
target 15
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 20
target 8
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 15
target 9
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 15
target 20
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 8
target 21
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 9
target 21
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 21
target 10
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 10
target 0
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
]
\ No newline at end of file
archs/S2Routing.svg 0 → 100644
View file @ f2394909
This diff is collapsed.
archs/S3Routing.gml 0 → 100644
View file @ f2394909
Creator "staticCodeAnalysis"
Version "1.0"
graph [
directed 1
label ""
node [
id 0
label "P"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ffc800"
outline "#000000"
]
]
node [
id 1
label "M0(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 2
label "H1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 3
label "M2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 4
label "M5(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 5
label "F5(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 6
label "D1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 7
label "M4(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 8
label "H5(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 9
label "H2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 10
label "M1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 11
label "M3(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 12
label "D5(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 13
label "bif0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 14
label "bif1"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 15
label "bif2"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 16
label "bif3"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 17
label "bif4"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 18
label "bif5"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 19
label "merger0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 20
label "merger1"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 21
label "merger2"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 22
label "merger3"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 23
label "merger4"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 24
label "merger5"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 25
label "merger6"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
edge [
source 0
target 1
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 2
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 19
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 20
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 21
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 1
target 13
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 2
target 19
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 19
target 3
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 20
target 4
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 21
target 5
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 13
target 19
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 13
target 21
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 3
target 14
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 4
target 15
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 5
target 16
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 14
target 6
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 14
target 20
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 15
target 22
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 15
target 23
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 16
target 19
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 16
target 23
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 6
target 22
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 22
target 7
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 23
target 8
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 7
target 17
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 8
target 22
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 17
target 9
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 17
target 24
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 9
target 24
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 24
target 10
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 10
target 18
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 18
target 11
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 18
target 25
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 11
target 25
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 25
target 12
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 12
target 0
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
]
\ No newline at end of file
archs/S4Routing.gml 0 → 100644
View file @ f2394909
Creator "staticCodeAnalysis"
Version "1.0"
graph [
directed 1
label ""
node [
id 0
label "P"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ffc800"
outline "#000000"
]
]
node [
id 1
label "M2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 2
label "H2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 3
label "D0(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 4
label "M6(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 5
label "F3(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 6
label "M1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 7
label "D2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 8
label "H6(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 9
label "F1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 10
label "M3(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 11
label "M4(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 12
label "M5(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 13
label "H1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 14
label "F6(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 15
label "M0(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 16
label "bif0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 17
label "bif2"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 18
label "bif3"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 19
label "bif1"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 20
label "bif5"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 21
label "bif4"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 22
label "bif6"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 23
label "bif7"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 24
label "merger0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 25
label "merger1"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 26
label "merger2"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 27
label "merger4"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 28
label "merger6"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 29
label "merger3"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 30
label "merger5"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 31
label "merger7"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 32
label "merger8"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 33
label "merger9"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
edge [
source 0
target 1
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 2
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 3
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 24
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 25
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 1
target 16
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 2
target 17
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 3
target 18
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 24
target 4
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 25
target 5
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 16
target 24
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 16
target 26
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 17
target 24
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 17
target 25
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 18
target 6
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 18
target 27
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 4
target 19
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 5
target 24
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 26
target 7
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 6
target 28
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 27
target 8
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 19
target 29
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 19
target 27
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 7
target 30
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 28
target 9
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 8
target 20
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 29
target 10
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 30
target 11
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 9
target 31
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 20
target 29
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 20
target 28
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 10
target 21
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 11
target 22
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 31
target 12
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 21
target 26
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 21
target 31
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 22
target 13
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 22
target 32
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 12
target 23
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 13
target 33
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 32
target 14
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 23
target 30
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 23
target 32
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 33
target 15
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 14
target 33
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 15
target 0
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
]
\ No newline at end of file
archs/S5Routing.gml 0 → 100644
View file @ f2394909
Creator "staticCodeAnalysis"
Version "1.0"
graph [
directed 1
label ""
node [
id 0
label "P"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ffc800"
outline "#000000"
]
]
node [
id 1
label "M1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 2
label "F0(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 3
label "H1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 4
label "M4(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 5
label "H4(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 6
label "M2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 7
label "F3(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 8
label "H6(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 9
label "D0(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 10
label "M3(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 11
label "M6(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 12
label "F1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 13
label "H5(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 14
label "M5(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 15
label "H2(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 16
label "M0(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 17
label "D1(5,1)"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff00"
outline "#000000"
]
]
node [
id 18
label "bif0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 19
label "bif2"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 20
label "bif3"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 21
label "bif1"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 22
label "bif5"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 23
label "bif4"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 24
label "bif6"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 25
label "bif8"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 26
label "bif7"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 27
label "bif9"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 28
label "bif11"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 29
label "bif10"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff"
outline "#000000"
]
]
node [
id 30
label "merger0"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 31
label "merger1"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 32
label "merger2"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 33
label "merger3"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 34
label "merger5"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 35
label "merger4"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 36
label "merger6"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
node [
id 37
label "merger7"
graphics
[
x 0.0
y 0.0
w 30.0
h 30.0
type "rectangle"
fill "#ff0000"
outline "#000000"
]
]
edge [
source 0
target 1
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 2
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 3
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 30
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 1
target 18
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 2
target 19
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 3
target 20
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 30
target 4
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 18
target 5
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 18
target 31
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 19
target 30
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 19
target 31
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 20
target 30
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 20
target 31
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 4
target 21
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 5
target 22
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 31
target 6
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 21
target 32
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 21
target 33
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 22
target 32
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 22
target 34
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 6
target 23
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 32
target 7
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 33
target 8
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 34
target 9
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 23
target 35
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 23
target 34
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 7
target 24
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 8
target 35
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 9
target 25
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 35
target 10
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 24
target 35
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 24
target 34
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 25
target 33
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 25
target 35
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 10
target 26
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 26
target 11
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 26
target 12
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 11
target 27
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 12
target 36
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 27
target 13
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 27
target 36
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 36
target 14
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 13
target 28
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 14
target 29
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 28
target 36
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 28
target 37
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 29
target 15
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 29
target 37
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 37
target 16
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 15
target 37
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 16
target 17
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 17
target 0
graphics
[
fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
]
\ No newline at end of file
archs/S6Routing.gml 0 → 100644
View file @ f2394909
Creator "yFiles"
Version "2.14"
graph
[
hierarchic 1
label ""
directed 1
node
[
id 0
label "P"
graphics
[
x 120.57460317460317
y 15.0
w 30.0
h 30.0
type "rectangle"
fill "#FFC800"
outline "#000000"
]
LabelGraphics
[
text "P"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 1
label "M4(5,1)"
graphics
[
x 40.80396825396826
y 76.0
w 30.0
h 30.0
type "rectangle"
fill "#00FF00"
outline "#000000"
]
LabelGraphics
[
text "M4(5,1)"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 2
label "H3(5,1)"
graphics
[
x 120.57460317460317
y 76.0
w 30.0
h 30.0
type "rectangle"
fill "#00FF00"
outline "#000000"
]
LabelGraphics
[
text "H3(5,1)"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 3
label "D1(5,1)"
graphics
[
x 48.89126984126984
y 198.0
w 30.0
h 30.0
type "rectangle"
fill "#00FF00"
outline "#000000"
]
LabelGraphics
[
text "D1(5,1)"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 4
label "M1(5,1)"
graphics
[
x 89.05277777777778
y 309.0
w 30.0
h 30.0
type "rectangle"
fill "#00FF00"
outline "#000000"
]
LabelGraphics
[
text "M1(5,1)"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 5
label "M3(5,1)"
graphics
[
x 81.55277777777778
y 470.0
w 30.0
h 30.0
type "rectangle"
fill "#00FF00"
outline "#000000"
]
LabelGraphics
[
text "M3(5,1)"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 6
label "M0(5,1)"
graphics
[
x 117.34007936507936
y 631.0
w 30.0
h 30.0
type "rectangle"
fill "#00FF00"
outline "#000000"
]
LabelGraphics
[
text "M0(5,1)"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 7
label "H0(5,1)"
graphics
[
x 35.0
y 581.0
w 30.0
h 30.0
type "rectangle"
fill "#00FF00"
outline "#000000"
]
LabelGraphics
[
text "H0(5,1)"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 8
label "M5(5,1)"
graphics
[
x 153.12738095238095
y 753.0
w 30.0
h 30.0
type "rectangle"
fill "#00FF00"
outline "#000000"
]
LabelGraphics
[
text "M5(5,1)"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 9
label "bif1"
graphics
[
x 56.39126984126984
y 137.0
w 30.0
h 30.0
type "rectangle"
fill "#0000FF"
outline "#000000"
]
LabelGraphics
[
text "bif1"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 10
label "bif3"
graphics
[
x 89.05277777777778
y 359.0
w 30.0
h 30.0
type "rectangle"
fill "#0000FF"
outline "#000000"
]
LabelGraphics
[
text "bif3"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 11
label "bif4"
graphics
[
x 81.55277777777778
y 520.0
w 30.0
h 30.0
type "rectangle"
fill "#0000FF"
outline "#000000"
]
LabelGraphics
[
text "bif4"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 12
label "merger2"
graphics
[
x 89.05277777777778
y 259.0
w 30.0
h 30.0
type "rectangle"
fill "#FF0000"
outline "#000000"
]
LabelGraphics
[
text "merger2"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 13
label "merger3"
graphics
[
x 81.55277777777778
y 420.0
w 30.0
h 30.0
type "rectangle"
fill "#FF0000"
outline "#000000"
]
LabelGraphics
[
text "merger3"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 14
label "merger4"
graphics
[
x 117.34007936507936
y 581.0
w 30.0
h 30.0
type "rectangle"
fill "#FF0000"
outline "#000000"
]
LabelGraphics
[
text "merger4"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
node
[
id 15
label "merger5"
graphics
[
x 109.84007936507936
y 692.0
w 30.0
h 30.0
type "rectangle"
fill "#FF0000"
outline "#000000"
]
LabelGraphics
[
text "merger5"
fontSize 12
fontName "Dialog"
anchor "c"
]
]
edge
[
source 0
target 1
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 120.57460317460317
y 15.0
]
point
[
x 110.57460317460317
y 45.5
]
point
[
x 40.80396825396826
y 45.5
]
point
[
x 40.80396825396826
y 76.0
]
]
]
edgeAnchor
[
xSource -0.6666666666666666
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 0
target 2
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
]
edgeAnchor
[
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 1
target 9
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 40.80396825396826
y 76.0
]
point
[
x 40.80396825396826
y 106.5
]
point
[
x 56.39126984126984
y 106.5
]
point
[
x 56.39126984126984
y 137.0
]
]
]
edgeAnchor
[
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 9
target 3
label "3, 3"
graphics
[
fill "#FF0000"
targetArrow "standard"
]
edgeAnchor
[
xSource -0.5
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "3, 3"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 9
target 12
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 56.39126984126984
y 137.0
]
point
[
x 63.89126984126984
y 167.5
]
point
[
x 89.05277777777778
y 167.5
]
point
[
x 89.05277777777778
y 259.0
]
]
]
edgeAnchor
[
xSource 0.5
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 2
target 12
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 120.57460317460317
y 76.0
]
point
[
x 120.57460317460317
y 213.5
]
point
[
x 99.05277777777778
y 213.5
]
point
[
x 89.05277777777778
y 259.0
]
]
]
edgeAnchor
[
ySource 1.0
xTarget 0.6666666666666666
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 3
target 12
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 48.89126984126984
y 198.0
]
point
[
x 48.89126984126984
y 228.5
]
point
[
x 79.05277777777778
y 228.5
]
point
[
x 89.05277777777778
y 259.0
]
]
]
edgeAnchor
[
ySource 1.0
xTarget -0.6666666666666666
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 12
target 4
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
]
edgeAnchor
[
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 4
target 10
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
]
edgeAnchor
[
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 13
target 5
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
]
edgeAnchor
[
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 10
target 13
label "3, 3"
graphics
[
fill "#FF0000"
targetArrow "standard"
]
edgeAnchor
[
xSource -0.5
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "3, 3"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 10
target 14
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 89.05277777777778
y 359.0
]
point
[
x 96.55277777777778
y 389.5
]
point
[
x 124.84007936507936
y 389.5
]
point
[
x 117.34007936507936
y 581.0
]
]
]
edgeAnchor
[
xSource 0.5
ySource 1.0
xTarget 0.5
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 5
target 11
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
]
edgeAnchor
[
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 14
target 6
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
]
edgeAnchor
[
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 11
target 7
label "3, 3"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 81.55277777777778
y 520.0
]
point
[
x 74.05277777777778
y 550.5
]
point
[
x 35.0
y 550.5
]
point
[
x 35.0
y 581.0
]
]
]
edgeAnchor
[
xSource -0.5
ySource 1.0
yTarget -1.0
]
LabelGraphics
[
text "3, 3"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 11
target 14
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 81.55277777777778
y 520.0
]
point
[
x 89.05277777777778
y 550.5
]
point
[
x 109.84007936507936
y 550.5
]
point
[
x 117.34007936507936
y 581.0
]
]
]
edgeAnchor
[
xSource 0.5
ySource 1.0
xTarget -0.5
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 6
target 15
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
]
edgeAnchor
[
ySource 1.0
xTarget 0.5
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 7
target 15
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 35.0
y 581.0
]
point
[
x 35.0
y 661.5
]
point
[
x 102.34007936507936
y 661.5
]
point
[
x 109.84007936507936
y 692.0
]
]
]
edgeAnchor
[
ySource 1.0
xTarget -0.5
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 15
target 8
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 109.84007936507936
y 692.0
]
point
[
x 109.84007936507936
y 722.5
]
point
[
x 145.62738095238095
y 722.5
]
point
[
x 153.12738095238095
y 753.0
]
]
]
edgeAnchor
[
ySource 1.0
xTarget -0.5
yTarget -1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
edge
[
source 8
target 0
label "1, 1"
graphics
[
fill "#FF0000"
targetArrow "standard"
Line
[
point
[
x 153.12738095238095
y 753.0
]
point
[
x 160.62738095238095
y 45.5
]
point
[
x 130.57460317460317
y 45.5
]
point
[
x 120.57460317460317
y 15.0
]
]
]
edgeAnchor
[
xSource 0.5
ySource -1.0
xTarget 0.6666666666666666
yTarget 1.0
]
LabelGraphics
[
text "1, 1"
fontSize 12
fontName "Dialog"
model "six_pos"
position "tail"
]
]
]
archs/S6Routing.graphml 0 → 100644
View file @ f2394909
This diff is collapsed.
archs/S7Routing.graphml 0 → 100644
View file @ f2394909
This diff is collapsed.
archs/S8Routing.graphml 0 → 100644
View file @ f2394909
This diff is collapsed.
build/dsgen.jar deleted 100644 → 0
View file @ f8ceeae7
File deleted
build/nloc/Bifurcation.class deleted 100644 → 0
View file @ f8ceeae7
File deleted
build/nloc/Channel.class deleted 100644 → 0
View file @ f8ceeae7
File deleted
build/nloc/CoalescedDropletException.class deleted 100644 → 0
View file @ f8ceeae7
File deleted
build/nloc/Droplet.class deleted 100644 → 0
View file @ f8ceeae7
File deleted
build/nloc/DropletType.class deleted 100644 → 0
View file @ f8ceeae7
File deleted
build/nloc/Module.class deleted 100644 → 0
View file @ f8ceeae7
File deleted
build/nloc/Nloc.class deleted 100644 → 0
View file @ f8ceeae7
File deleted