diff --git a/projet.use b/projet.use
index 6ce5242..ae7ebdb 100644
--- a/projet.use
+++ b/projet.use
@@ -65,6 +65,8 @@ operations
constraints
inv:
plateau.cases->select(c: Case | c.x = x and c.y = y)->size() = 1
+ inv:
+ coordonne: x <= 10 and x > 0 and y > 0 and y <= 10
end
class Bateau
diff --git a/projet_default.clt b/projet_default.clt
index c1e9334..3b9328c 100644
--- a/projet_default.clt
+++ b/projet_default.clt
@@ -4,7 +4,7 @@
false
false
true
- true
+ false
false
true
false
@@ -12,88 +12,88 @@
Plateau
- 566.0
- 36.0
+ 300.0
+ 285.0
false
Flotte
- 379.0
- 420.0
+ 201.0
+ 365.0
false
Coup
- 528.0
- 282.0
+ 211.0
+ 48.0
false
Bateau
- 709.0
- 396.0
+ 396.0
+ 371.0
false
Jeu
- 155.0
- 242.0
+ 33.0
+ 90.0
false
Joueur
- 318.0
- 211.0
+ 97.0
+ 216.0
false
Case
- 734.0
- 166.0
+ 457.0
+ 190.0
false
TypeCoup
- 876.0
- 311.0
+ 690.0
+ 16.0
false
TypeCase
- 874.0
- 76.0
+ 705.0
+ 362.0
false
EtatBateau
- 875.0
- 411.0
+ 704.0
+ 278.0
false
TypeBateau
- 877.0
- 192.0
+ 705.0
+ 137.0
false
@@ -102,6 +102,30 @@
Bateau
Repartit
+
+ 2..5
+
+ 0.0
+ 0.0
+ Repartit::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ bateau
+
+ 0.0
+ 0.0
+ Repartit::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
Repartit
@@ -116,35 +140,11 @@
false
-
- bateau
-
- -7.0
- -33.0
- Repartit::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
- 2..5
+
+ cases
0.0
0.0
- Repartit::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- cases
-
- 3.0
- 24.0
Repartit::WayPoint::0
8
8
@@ -194,20 +194,6 @@
Plateau
Compose
-
- Compose
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Compose::WayPoint::0
- Compose::WayPoint::1
-
-
- false
-
1
@@ -220,14 +206,29 @@
false
-
- plateau
+
- 69.0
- -24.0
+ 0.0
+ 0.0
Compose::WayPoint::1
8
8
+ BOTTOM
+
+ false
+
+
+
+ false
+
+
+ cases
+
+ 0.0
+ 0.0
+ Compose::WayPoint::0
+ 8
+ 8
TOP
false
@@ -244,18 +245,6 @@
false
-
- cases
-
- 45.0
- -21.0
- Compose::WayPoint::0
- 8
- 8
- TOP
-
- false
-
@@ -286,22 +275,7 @@
Coup
Etat
-
- Etat
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Etat::WayPoint::0
- Etat::WayPoint::1
-
-
- false
-
-
- 1
+
0.0
0.0
@@ -324,11 +298,25 @@
false
-
+
+ Etat
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Etat::WayPoint::0
+ Etat::WayPoint::1
+
+
+ false
+
+
case
- -13.0
- -12.0
+ 0.0
+ 0.0
Etat::WayPoint::0
8
8
@@ -378,22 +366,7 @@
Flotte
Appartient
-
- Appartient
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Appartient::WayPoint::0
- Appartient::WayPoint::1
-
-
- false
-
-
- 1
+
0.0
0.0
@@ -416,15 +389,17 @@
false
-
- joueur
-
- 51.0
- 29.0
- Appartient::WayPoint::0
- 8
- 8
- TOP
+
+ Appartient
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Appartient::WayPoint::0
+ Appartient::WayPoint::1
+
false
@@ -440,6 +415,18 @@
false
+
+ joueur
+
+ 0.0
+ 0.0
+ Appartient::WayPoint::0
+ 8
+ 8
+ TOP
+
+ false
+
@@ -470,6 +457,30 @@
Plateau
Utilise
+
+ 1
+
+ 0.0
+ 0.0
+ Utilise::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ plateau
+
+ 0.0
+ 0.0
+ Utilise::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
Utilise
@@ -484,32 +495,7 @@
false
-
- plateau
-
- -24.0
- -11.0
- Utilise::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Utilise::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- 1
+
0.0
0.0
@@ -562,17 +548,15 @@
Jeu
Joue2
-
- Joue2
-
+
+ jeu1
+
0.0
0.0
- 0.0
- -10.0
-
- Joue2::WayPoint::0
- Joue2::WayPoint::3
-
+ Joue2::WayPoint::1
+ 8
+ 8
+ TOP
false
@@ -581,30 +565,22 @@
0.0
0.0
- Joue2::WayPoint::3
+ Joue2::WayPoint::1
8
8
TOP
false
-
- 1
-
- 0.0
- 0.0
- Joue2::WayPoint::3
- 8
- 8
- BOTTOM
+
false
-
+
joueur2
- -15.0
- 15.0
+ 0.0
+ 0.0
Joue2::WayPoint::0
8
8
@@ -638,31 +614,19 @@
1
-
- 268.0
- 312.0
+
+ 15.975093586675285
+ 130.0
+ ABSOLUTE
+ 0.0
+ 1.7976931348623157E308
+ ABSOLUTE
+ 0.0
+ 1.7976931348623157E308
+ NORTH_WEST
+ Jeu
1
- 0
- false
-
-
- 2
-
- 183.0
- 311.0
-
- 2
- 0
- false
-
-
- 3
-
- 0.0
- 0.0
-
- 3
2
false
@@ -674,37 +638,11 @@
Bateau
Appartient2
-
- Appartient2
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Appartient2::WayPoint::0
- Appartient2::WayPoint::1
-
-
- false
-
-
- *
-
- 0.0
- 0.0
- Appartient2::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
+
bateaux
- -4.0
- 18.0
+ 0.0
+ 0.0
Appartient2::WayPoint::1
8
8
@@ -724,11 +662,25 @@
false
+
+ Appartient2
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Appartient2::WayPoint::0
+ Appartient2::WayPoint::1
+
+
+ false
+
flotte
- 24.0
- 30.0
+ 86.0
+ 108.0
Appartient2::WayPoint::0
8
8
@@ -766,6 +718,30 @@
Jeu
Joue1
+
+ 1
+
+ 0.0
+ 0.0
+ Joue1::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ jeu2
+
+ 0.0
+ 0.0
+ Joue1::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
Joue1
@@ -775,40 +751,16 @@
-10.0
Joue1::WayPoint::0
- Joue1::WayPoint::3
+ Joue1::WayPoint::1
false
-
- jeu2
-
- -4.0
- -20.0
- Joue1::WayPoint::3
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Joue1::WayPoint::3
- 8
- 8
- BOTTOM
-
- false
-
-
+
joueur1
- 0.0
- 0.0
+ 14.0
+ 147.0
Joue1::WayPoint::0
8
8
@@ -840,33 +792,13 @@
1
false
-
+
1
-
- 282.0
- 150.0
-
- 1
- 0
- false
-
-
- 2
-
- 154.0
- 176.0
-
- 2
- 0
- false
-
-
- 3
0.0
0.0
- 3
+ 1
2
false
@@ -878,6 +810,30 @@
Coup
Tire
+
+ 1
+
+ 0.0
+ 0.0
+ Tire::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ coups
+
+ 0.0
+ 0.0
+ Tire::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
Tire
@@ -892,30 +848,6 @@
false
-
- coups
-
- -23.0
- 28.0
- Tire::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Tire::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
*
@@ -931,8 +863,8 @@
joueur
- 16.0
- -21.0
+ -1.0
+ 88.0
Tire::WayPoint::0
8
8