Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
Federico Pecora
coordination-tutorial-src-ICAPS-2018
Commits
4dad2c5c
Commit
4dad2c5c
authored
5 years ago
by
Federico Pecora
Browse files
Options
Download
Email Patches
Plain Diff
Last commit
parent
e5a19771
Changes
8
Hide whitespace changes
Inline
Side-by-side
Showing
8 changed files
with
8 additions
and
8 deletions
+8
-8
src/main/java/part2_coordination_with_dynamics/FourRobotsCircle.java
...va/part2_coordination_with_dynamics/FourRobotsCircle.java
+1
-1
src/main/java/part2_coordination_with_dynamics/ThreeDifferentRobotsLinear.java
...oordination_with_dynamics/ThreeDifferentRobotsLinear.java
+1
-1
src/main/java/part2_coordination_with_dynamics/ThreeRobotsFast.java
...ava/part2_coordination_with_dynamics/ThreeRobotsFast.java
+1
-1
src/main/java/part2_coordination_with_dynamics/ThreeRobotsGoalPosting.java
...t2_coordination_with_dynamics/ThreeRobotsGoalPosting.java
+1
-1
src/main/java/part2_coordination_with_dynamics/ThreeRobotsLinear.java
...a/part2_coordination_with_dynamics/ThreeRobotsLinear.java
+1
-1
src/main/java/part2_coordination_with_dynamics/ThreeRobotsSimple.java
...a/part2_coordination_with_dynamics/ThreeRobotsSimple.java
+1
-1
src/main/java/part2_coordination_with_dynamics/TwoRobotsFollowing.java
.../part2_coordination_with_dynamics/TwoRobotsFollowing.java
+1
-1
src/main/java/part2_coordination_with_dynamics/TwoRobotsOpposing.java
...a/part2_coordination_with_dynamics/TwoRobotsOpposing.java
+1
-1
No files found.
src/main/java/part2_coordination_with_dynamics/FourRobotsCircle.java
View file @
4dad2c5c
...
...
@@ -44,7 +44,7 @@ public class FourRobotsCircle {
tec
.
addComparator
(
new
Comparator
<
RobotAtCriticalSection
>
()
{
@Override
public
int
compare
(
RobotAtCriticalSection
o1
,
RobotAtCriticalSection
o2
)
{
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
());
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
());
}
});
...
...
This diff is collapsed.
Click to expand it.
src/main/java/part2_coordination_with_dynamics/ThreeDifferentRobotsLinear.java
View file @
4dad2c5c
...
...
@@ -44,7 +44,7 @@ public class ThreeDifferentRobotsLinear {
tec
.
addComparator
(
new
Comparator
<
RobotAtCriticalSection
>
()
{
@Override
public
int
compare
(
RobotAtCriticalSection
o1
,
RobotAtCriticalSection
o2
)
{
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
());
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
());
}
});
...
...
This diff is collapsed.
Click to expand it.
src/main/java/part2_coordination_with_dynamics/ThreeRobotsFast.java
View file @
4dad2c5c
...
...
@@ -39,7 +39,7 @@ public class ThreeRobotsFast {
tec
.
addComparator
(
new
Comparator
<
RobotAtCriticalSection
>
()
{
@Override
public
int
compare
(
RobotAtCriticalSection
o1
,
RobotAtCriticalSection
o2
)
{
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
());
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
());
}
});
...
...
This diff is collapsed.
Click to expand it.
src/main/java/part2_coordination_with_dynamics/ThreeRobotsGoalPosting.java
View file @
4dad2c5c
...
...
@@ -41,7 +41,7 @@ public class ThreeRobotsGoalPosting {
tec
.
addComparator
(
new
Comparator
<
RobotAtCriticalSection
>
()
{
@Override
public
int
compare
(
RobotAtCriticalSection
o1
,
RobotAtCriticalSection
o2
)
{
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
());
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
());
}
});
...
...
This diff is collapsed.
Click to expand it.
src/main/java/part2_coordination_with_dynamics/ThreeRobotsLinear.java
View file @
4dad2c5c
...
...
@@ -44,7 +44,7 @@ public class ThreeRobotsLinear {
tec
.
addComparator
(
new
Comparator
<
RobotAtCriticalSection
>
()
{
@Override
public
int
compare
(
RobotAtCriticalSection
o1
,
RobotAtCriticalSection
o2
)
{
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
());
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
());
}
});
...
...
This diff is collapsed.
Click to expand it.
src/main/java/part2_coordination_with_dynamics/ThreeRobotsSimple.java
View file @
4dad2c5c
...
...
@@ -45,7 +45,7 @@ public class ThreeRobotsSimple {
tec
.
addComparator
(
new
Comparator
<
RobotAtCriticalSection
>
()
{
@Override
public
int
compare
(
RobotAtCriticalSection
o1
,
RobotAtCriticalSection
o2
)
{
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
());
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
());
}
});
...
...
This diff is collapsed.
Click to expand it.
src/main/java/part2_coordination_with_dynamics/TwoRobotsFollowing.java
View file @
4dad2c5c
...
...
@@ -46,7 +46,7 @@ public class TwoRobotsFollowing {
tec
.
addComparator
(
new
Comparator
<
RobotAtCriticalSection
>
()
{
@Override
public
int
compare
(
RobotAtCriticalSection
o1
,
RobotAtCriticalSection
o2
)
{
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
());
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
());
}
});
tec
.
setUseInternalCriticalPoints
(
false
);
...
...
This diff is collapsed.
Click to expand it.
src/main/java/part2_coordination_with_dynamics/TwoRobotsOpposing.java
View file @
4dad2c5c
...
...
@@ -43,7 +43,7 @@ public class TwoRobotsOpposing {
tec
.
addComparator
(
new
Comparator
<
RobotAtCriticalSection
>
()
{
@Override
public
int
compare
(
RobotAtCriticalSection
o1
,
RobotAtCriticalSection
o2
)
{
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
TrajectoryEnvelope
().
getRobotID
());
return
(
o2
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
()-
o1
.
getTrajectoryEnvelopeTracker
().
get
RobotReport
().
getRobotID
());
}
});
tec
.
setUseInternalCriticalPoints
(
false
);
...
...
This diff is collapsed.
Click to expand it.
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