diff options
author | 2021-02-16 09:01:25 +0100 | |
---|---|---|
committer | 2021-02-16 09:01:25 +0100 | |
commit | bc403272d867f82edd623179d82c080e57154c1a (patch) | |
tree | 3551ba142ed725595ee684981fc8973cade2ebf4 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/crossScen5.xmi | |
parent | add dreal-timeout flag (diff) | |
download | VIATRA-Generator-bc403272d867f82edd623179d82c080e57154c1a.tar.gz VIATRA-Generator-bc403272d867f82edd623179d82c080e57154c1a.tar.zst VIATRA-Generator-bc403272d867f82edd623179d82c080e57154c1a.zip |
CrossingScenario case study is ready for serverdreal-integration
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/crossScen5.xmi')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/crossScen5.xmi | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/crossScen5.xmi b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/crossScen5.xmi new file mode 100644 index 00000000..5eee1734 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/crossScen5.xmi | |||
@@ -0,0 +1,31 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <crossingScenario:CrossingScenario | ||
3 | xmi:version="2.0" | ||
4 | xmlns:xmi="http://www.omg.org/XMI" | ||
5 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
6 | xmlns:crossingScenario="http://www.example.com/crossingScenario" | ||
7 | xsi:schemaLocation="http://www.example.com/crossingScenario ../model/crossingScenario.ecore" | ||
8 | xSize="30.0" | ||
9 | ySize="30.0" | ||
10 | maxTime="60.0" | ||
11 | maxXSpeed="10.0" | ||
12 | maxYSpeed="10.0"> | ||
13 | <lanes xsi:type="crossingScenario:Lane_Horizontal"/> | ||
14 | <lanes xsi:type="crossingScenario:Lane_Horizontal" | ||
15 | referenceCoord="3.0"/> | ||
16 | <lanes xsi:type="crossingScenario:Lane_Horizontal" | ||
17 | referenceCoord="6.0"/> | ||
18 | <lanes xsi:type="crossingScenario:Lane_Horizontal" | ||
19 | referenceCoord="9.0"/> | ||
20 | <lanes xsi:type="crossingScenario:Lane_Horizontal" | ||
21 | referenceCoord="12.0"/> | ||
22 | <lanes xsi:type="crossingScenario:Lane_Vertical"/> | ||
23 | <lanes xsi:type="crossingScenario:Lane_Vertical" | ||
24 | referenceCoord="3.0"/> | ||
25 | <lanes xsi:type="crossingScenario:Lane_Vertical" | ||
26 | referenceCoord="6.0"/> | ||
27 | <lanes xsi:type="crossingScenario:Lane_Vertical" | ||
28 | referenceCoord="9.0"/> | ||
29 | <lanes xsi:type="crossingScenario:Lane_Vertical" | ||
30 | referenceCoord="12.0"/> | ||
31 | </crossingScenario:CrossingScenario> | ||