Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
monticore
EmbeddedMontiArc
generators
EMAM2Middleware
Commits
0962fb03
Commit
0962fb03
authored
Mar 14, 2018
by
Alexander David Hellwig
Browse files
EMAM: intersection: set standard generics to n=2, x=1, m=5
parent
0b9d8a83
Changes
6
Show whitespace changes
Inline
Side-by-side
src/test/resources/ba/intersection/ConflictComputer.emam
View file @
0962fb03
...
@@ -2,7 +2,7 @@ package ba.intersection;
...
@@ -2,7 +2,7 @@ package ba.intersection;
//
TODO
:
x
=
(
n
-
1
)
n
/
2
//
TODO
:
x
=
(
n
-
1
)
n
/
2
//
TODO
:
units
//
TODO
:
units
component
ConflictComputer
<
N1
n
=
4
,
N1
x
=
6
,
N1
m
=
5
>{
component
ConflictComputer
<
N1
n
=
2
,
N1
x
=
1
,
N1
m
=
5
>{
port
in
Q
^{
3
,
m
}
trajectory
[
n
];
port
in
Q
^{
3
,
m
}
trajectory
[
n
];
port
in
Q
cutoffPosIn
,
in
Q
cutoffTimeIn
;
port
in
Q
cutoffPosIn
,
in
Q
cutoffTimeIn
;
port
out
B
conflictOut
[
x
];
port
out
B
conflictOut
[
x
];
...
...
src/test/resources/ba/intersection/ConflictToStopConverter.emam
View file @
0962fb03
package
ba
.
intersection
;
package
ba
.
intersection
;
//
TODO
:
x
=
(
n
-
1
)
n
/
2
//
TODO
:
x
=
(
n
-
1
)
n
/
2
component
ConflictToStopConverter
<
N1
n
=
2
,
N1
x
=
3
,
N1
m
=
5
>{
component
ConflictToStopConverter
<
N1
n
=
2
,
N1
x
=
1
,
N1
m
=
5
>{
port
in
Z
(
1
:
n
)
indexLookupIn
[
x
];
port
in
Z
(
1
:
n
)
indexLookupIn
[
x
];
port
in
B
conflictIn
[
x
];
port
in
B
conflictIn
[
x
];
port
out
B
stopOut
[
n
];
port
out
B
stopOut
[
n
];
...
...
src/test/resources/ba/intersection/ConflictToStopLookup.emam
View file @
0962fb03
...
@@ -2,7 +2,7 @@ package ba.intersection;
...
@@ -2,7 +2,7 @@ package ba.intersection;
//
TODO
:
rename
//
TODO
:
rename
//
TODO
:
automatically
calculate
x
:
x
=
(
n
-
1
)
n
/
2
//
TODO
:
automatically
calculate
x
:
x
=
(
n
-
1
)
n
/
2
component
ConflictToStopLookup
<
N1
n
=
2
,
N1
x
=
3
>{
component
ConflictToStopLookup
<
N1
n
=
2
,
N1
x
=
1
>{
port
out
Z
(
1
:
n
)
indexLookup
[
x
];
port
out
Z
(
1
:
n
)
indexLookup
[
x
];
...
...
src/test/resources/ba/intersection/DeltaTrajectoryComputer.emam
View file @
0962fb03
...
@@ -2,7 +2,7 @@ package ba.intersection;
...
@@ -2,7 +2,7 @@ package ba.intersection;
//
TODO
:
x
=
(
n
-
1
)
n
/
2
//
TODO
:
x
=
(
n
-
1
)
n
/
2
//
n
:
number
of
Trajectories
,
m
=
number
of
(
x
,
y
,
dt
)
per
trajectory
//
n
:
number
of
Trajectories
,
m
=
number
of
(
x
,
y
,
dt
)
per
trajectory
component
DeltaTrajectoryComputer
<
N1
n
=
2
,
N1
x
=
3
,
N1
m
=
5
>{
component
DeltaTrajectoryComputer
<
N1
n
=
2
,
N1
x
=
1
,
N1
m
=
5
>{
port
in
Q
(-
oo
:
oo
)^{
3
,
m
}
trajectoryIn
[
n
];
port
in
Q
(-
oo
:
oo
)^{
3
,
m
}
trajectoryIn
[
n
];
port
in
Q
(-
oo
:
oo
)^{
3
,
m
}
deltaTrajectoryOut
[
x
];
port
in
Q
(-
oo
:
oo
)^{
3
,
m
}
deltaTrajectoryOut
[
x
];
...
...
src/test/resources/ba/intersection/TrajectoryToStop.emam
View file @
0962fb03
package
ba
.
intersection
;
package
ba
.
intersection
;
//
TODO
:
x
=
(
n
-
1
)
n
/
2
//
TODO
:
x
=
(
n
-
1
)
n
/
2
component
TrajectoryToStop
<
N1
n
=
4
,
N1
x
=
6
,
N1
m
=
5
>{
component
TrajectoryToStop
<
N1
n
=
2
,
N1
x
=
1
,
N1
m
=
5
>{
port
in
Q
^{
3
,
m
}
trajectoryIn
[
n
];
port
in
Q
^{
3
,
m
}
trajectoryIn
[
n
];
port
in
Q
cutoffPos
;
port
in
Q
cutoffPos
;
port
in
Q
cutoffTime
;
port
in
Q
cutoffTime
;
...
...
src/test/resources/ba/util/RelToAbsTrajectory.emam
View file @
0962fb03
package
ba
.
util
;
package
ba
.
util
;
component
RelToAbsTrajectory
<
N1
n
=
4
,
N1
m
=
5
>{
component
RelToAbsTrajectory
<
N1
n
=
2
,
N1
m
=
5
>{
port
in
Q
^{
3
,
m
}
relTrajectoryIn
[
n
];
port
in
Q
^{
3
,
m
}
relTrajectoryIn
[
n
];
port
in
Q
^{
2
,
1
}
absPositionIn
[
n
];
port
in
Q
^{
2
,
1
}
absPositionIn
[
n
];
port
out
Q
^{
3
,
m
}
absTrajectoryOut
[
n
];
port
out
Q
^{
3
,
m
}
absTrajectoryOut
[
n
];
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment