diff --git a/projet.use b/projet.use
index ae7ebdb..1a415d9 100644
--- a/projet.use
+++ b/projet.use
@@ -65,8 +65,7 @@ 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
+ 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 3b9328c..d431778 100644
--- a/projet_default.clt
+++ b/projet_default.clt
@@ -68,8 +68,8 @@
TypeCoup
- 690.0
- 16.0
+ 705.0
+ 36.0
false
@@ -77,15 +77,15 @@
TypeCase
705.0
- 362.0
+ 346.0
false
EtatBateau
- 704.0
- 278.0
+ 705.0
+ 260.0
false
@@ -102,15 +102,17 @@
Bateau
Repartit
-
- 2..5
-
+
+ Repartit
+
0.0
0.0
- Repartit::WayPoint::1
- 8
- 8
- BOTTOM
+ 0.0
+ -10.0
+
+ Repartit::WayPoint::0
+ Repartit::WayPoint::1
+
false
@@ -126,29 +128,15 @@
false
-
- Repartit
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Repartit::WayPoint::0
- Repartit::WayPoint::1
-
-
- false
-
-
- cases
+
+ 2..5
0.0
0.0
- Repartit::WayPoint::0
+ Repartit::WayPoint::1
8
8
- TOP
+ BOTTOM
false
@@ -164,6 +152,18 @@
false
+
+ cases
+
+ 0.0
+ 0.0
+ Repartit::WayPoint::0
+ 8
+ 8
+ TOP
+
+ false
+
@@ -194,6 +194,32 @@
Plateau
Compose
+
+ Compose
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Compose::WayPoint::0
+ Compose::WayPoint::1
+
+
+ false
+
+
+ plateau
+
+ 0.0
+ 0.0
+ Compose::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
1
@@ -206,21 +232,6 @@
false
-
-
- 0.0
- 0.0
- Compose::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
-
- false
-
cases
@@ -275,29 +286,6 @@
Coup
Etat
-
-
- 0.0
- 0.0
- Etat::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- coup
-
- 18.0
- 21.0
- Etat::WayPoint::1
- 8
- 8
- TOP
-
- false
-
Etat
@@ -312,12 +300,24 @@
false
-
- case
+
+ 1
0.0
0.0
- Etat::WayPoint::0
+ Etat::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ coup
+
+ 0.0
+ 0.0
+ Etat::WayPoint::1
8
8
TOP
@@ -336,6 +336,18 @@
false
+
+ case
+
+ 0.0
+ 0.0
+ Etat::WayPoint::0
+ 8
+ 8
+ TOP
+
+ false
+
@@ -366,29 +378,6 @@
Flotte
Appartient
-
-
- 0.0
- 0.0
- Appartient::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- flotte
-
- 105.0
- 0.0
- Appartient::WayPoint::1
- 8
- 8
- TOP
-
- false
-
Appartient
@@ -403,18 +392,30 @@
false
-
+
1
0.0
0.0
- Appartient::WayPoint::0
+ Appartient::WayPoint::1
8
8
BOTTOM
false
+
+ flotte
+
+ 0.0
+ 0.0
+ Appartient::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
joueur
@@ -427,6 +428,18 @@
false
+
+ 1
+
+ 0.0
+ 0.0
+ Appartient::WayPoint::0
+ 8
+ 8
+ BOTTOM
+
+ false
+
@@ -457,6 +470,20 @@
Plateau
Utilise
+
+ Utilise
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Utilise::WayPoint::0
+ Utilise::WayPoint::1
+
+
+ false
+
1
@@ -481,21 +508,20 @@
false
-
- Utilise
-
+
+ joueur
+
0.0
0.0
- 0.0
- -10.0
-
- Utilise::WayPoint::0
- Utilise::WayPoint::1
-
+ Utilise::WayPoint::0
+ 8
+ 8
+ TOP
false
-
+
+ 1
0.0
0.0
@@ -506,18 +532,6 @@
false
-
- joueur
-
- -16.0
- -10.0
- Utilise::WayPoint::0
- 8
- 8
- TOP
-
- false
-
@@ -548,15 +562,29 @@
Jeu
Joue2
-
- jeu1
+
+ Joue2
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Joue2::WayPoint::0
+ Joue2::WayPoint::1
+
+
+ false
+
+
+ 1
0.0
0.0
Joue2::WayPoint::1
8
8
- TOP
+ BOTTOM
false
@@ -572,22 +600,6 @@
false
-
-
- false
-
-
- joueur2
-
- 0.0
- 0.0
- Joue2::WayPoint::0
- 8
- 8
- TOP
-
- false
-
1
@@ -600,6 +612,18 @@
false
+
+ joueur2
+
+ 0.0
+ 0.0
+ Joue2::WayPoint::0
+ 8
+ 8
+ TOP
+
+ false
+
@@ -612,19 +636,11 @@
1
false
-
+
1
-
- 15.975093586675285
- 130.0
- ABSOLUTE
- 0.0
- 1.7976931348623157E308
- ABSOLUTE
- 0.0
- 1.7976931348623157E308
- NORTH_WEST
- Jeu
+
+ 0.0
+ 0.0
1
2
@@ -638,7 +654,21 @@
Bateau
Appartient2
-
+
+ Appartient2
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Appartient2::WayPoint::0
+ Appartient2::WayPoint::1
+
+
+ false
+
+
bateaux
0.0
@@ -650,6 +680,18 @@
false
+
+ *
+
+ 0.0
+ 0.0
+ Appartient2::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
1
@@ -662,25 +704,11 @@
false
-
- Appartient2
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Appartient2::WayPoint::0
- Appartient2::WayPoint::1
-
-
- false
-
-
+
flotte
- 86.0
- 108.0
+ 0.0
+ 0.0
Appartient2::WayPoint::0
8
8
@@ -718,15 +746,17 @@
Jeu
Joue1
-
- 1
-
+
+ Joue1
+
0.0
0.0
- Joue1::WayPoint::1
- 8
- 8
- BOTTOM
+ 0.0
+ -10.0
+
+ Joue1::WayPoint::0
+ Joue1::WayPoint::1
+
false
@@ -742,29 +772,15 @@
false
-
- Joue1
-
+
+ 1
+
0.0
0.0
- 0.0
- -10.0
-
- Joue1::WayPoint::0
- Joue1::WayPoint::1
-
-
- false
-
-
- joueur1
-
- 14.0
- 147.0
- Joue1::WayPoint::0
+ Joue1::WayPoint::1
8
8
- TOP
+ BOTTOM
false
@@ -780,6 +796,18 @@
false
+
+ joueur1
+
+ 0.0
+ 0.0
+ Joue1::WayPoint::0
+ 8
+ 8
+ TOP
+
+ false
+
@@ -810,6 +838,20 @@
Coup
Tire
+
+ Tire
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Tire::WayPoint::0
+ Tire::WayPoint::1
+
+
+ false
+
1
@@ -834,20 +876,6 @@
false
-
- Tire
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Tire::WayPoint::0
- Tire::WayPoint::1
-
-
- false
-
*
@@ -860,11 +888,11 @@
false
-
+
joueur
- -1.0
- 88.0
+ 0.0
+ 0.0
Tire::WayPoint::0
8
8
diff --git a/projet_layout.clt b/projet_layout.clt
deleted file mode 100644
index 17b371f..0000000
--- a/projet_layout.clt
+++ /dev/null
@@ -1,968 +0,0 @@
-
-
- false
- false
- false
- true
- true
- false
- true
- false
-
-
- Plateau
-
- 566.0
- 36.0
-
- false
-
-
- Flotte
-
- 379.0
- 420.0
-
- false
-
-
- Coup
-
- 528.0
- 282.0
-
- false
-
-
- Bateau
-
- 709.0
- 396.0
-
- false
-
-
- Jeu
-
- 155.0
- 242.0
-
- false
-
-
- Joueur
-
- 318.0
- 211.0
-
- false
-
-
- Case
-
- 734.0
- 166.0
-
- false
-
-
- TypeCoup
-
- 876.0
- 311.0
-
- false
-
-
- TypeCase
-
- 874.0
- 76.0
-
- false
-
-
- EtatBateau
-
- 875.0
- 411.0
-
- false
-
-
- TypeBateau
-
- 877.0
- 192.0
-
- false
-
-
- Case
- Bateau
- Repartit
-
-
- Repartit
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Repartit::WayPoint::0
- Repartit::WayPoint::1
-
-
- false
-
-
- cases
-
- 3.0
- 24.0
- Repartit::WayPoint::0
- 8
- 8
- TOP
-
- false
-
-
- 0..1
-
- 0.0
- 0.0
- Repartit::WayPoint::0
- 8
- 8
- BOTTOM
-
- false
-
-
- 2..5
-
- 0.0
- 0.0
- Repartit::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- bateau
-
- -7.0
- -33.0
- Repartit::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
-
-
- 0
-
- 0.0
- 0.0
-
- 0
- 1
- false
-
-
- 1
-
- 0.0
- 0.0
-
- 1
- 2
- false
-
-
- false
-
-
- Case
- Plateau
- Compose
-
-
- Compose
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Compose::WayPoint::0
- Compose::WayPoint::1
-
-
- false
-
-
- cases
-
- 45.0
- -21.0
- Compose::WayPoint::0
- 8
- 8
- TOP
-
- false
-
-
- 100
-
- 0.0
- 0.0
- Compose::WayPoint::0
- 8
- 8
- BOTTOM
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Compose::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- plateau
-
- -21.0
- 18.0
- Compose::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
-
-
- 0
-
- 0.0
- 0.0
-
- 0
- 1
- false
-
-
- 1
-
- 0.0
- 0.0
-
- 1
- 2
- false
-
-
- false
-
-
- Case
- Coup
- Etat
-
-
- Etat
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Etat::WayPoint::0
- Etat::WayPoint::1
-
-
- false
-
-
- case
-
- -13.0
- -12.0
- Etat::WayPoint::0
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Etat::WayPoint::0
- 8
- 8
- BOTTOM
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Etat::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- coup
-
- 18.0
- 21.0
- Etat::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
-
-
- 0
-
- 0.0
- 0.0
-
- 0
- 1
- false
-
-
- 1
-
- 0.0
- 0.0
-
- 1
- 2
- false
-
-
- false
-
-
- Joueur
- Flotte
- Appartient
-
-
- Appartient
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Appartient::WayPoint::0
- Appartient::WayPoint::1
-
-
- false
-
-
- joueur
-
- 51.0
- 29.0
- Appartient::WayPoint::0
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Appartient::WayPoint::0
- 8
- 8
- BOTTOM
-
- false
-
-
- flotte
-
- 105.0
- 0.0
- Appartient::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Appartient::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
-
-
- 0
-
- 0.0
- 0.0
-
- 0
- 1
- false
-
-
- 1
-
- 0.0
- 0.0
-
- 1
- 2
- false
-
-
- false
-
-
- Joueur
- Plateau
- Utilise
-
-
- Utilise
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Utilise::WayPoint::0
- Utilise::WayPoint::1
-
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Utilise::WayPoint::0
- 8
- 8
- BOTTOM
-
- false
-
-
- joueur
-
- -16.0
- -10.0
- Utilise::WayPoint::0
- 8
- 8
- TOP
-
- 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
-
-
-
-
- 0
-
- 0.0
- 0.0
-
- 0
- 1
- false
-
-
- 1
-
- 0.0
- 0.0
-
- 1
- 2
- false
-
-
- false
-
-
- Joueur
- Jeu
- Joue2
-
-
- Joue2
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Joue2::WayPoint::0
- Joue2::WayPoint::3
-
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Joue2::WayPoint::0
- 8
- 8
- BOTTOM
-
- false
-
-
- joueur2
-
- -15.0
- 15.0
- Joue2::WayPoint::0
- 8
- 8
- TOP
-
- false
-
-
- jeu1
-
- 0.0
- 0.0
- Joue2::WayPoint::3
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Joue2::WayPoint::3
- 8
- 8
- BOTTOM
-
- false
-
-
-
-
- 0
-
- 0.0
- 0.0
-
- 0
- 1
- false
-
-
- 1
-
- 268.0
- 312.0
-
- 1
- 0
- false
-
-
- 2
-
- 183.0
- 311.0
-
- 2
- 0
- false
-
-
- 3
-
- 0.0
- 0.0
-
- 3
- 2
- false
-
-
- false
-
-
- Flotte
- Bateau
- Appartient2
-
-
- Appartient2
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Appartient2::WayPoint::0
- Appartient2::WayPoint::1
-
-
- false
-
-
- flotte
-
- 24.0
- 30.0
- Appartient2::WayPoint::0
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Appartient2::WayPoint::0
- 8
- 8
- BOTTOM
-
- false
-
-
- *
-
- 0.0
- 0.0
- Appartient2::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- bateaux
-
- -4.0
- 18.0
- Appartient2::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
-
-
- 0
-
- 0.0
- 0.0
-
- 0
- 1
- false
-
-
- 1
-
- 0.0
- 0.0
-
- 1
- 2
- false
-
-
- false
-
-
- Joueur
- Jeu
- Joue1
-
-
- Joue1
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Joue1::WayPoint::0
- Joue1::WayPoint::3
-
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Joue1::WayPoint::0
- 8
- 8
- BOTTOM
-
- false
-
-
- joueur1
-
- 0.0
- 0.0
- Joue1::WayPoint::0
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Joue1::WayPoint::3
- 8
- 8
- BOTTOM
-
- false
-
-
- jeu2
-
- -4.0
- -20.0
- Joue1::WayPoint::3
- 8
- 8
- TOP
-
- false
-
-
-
-
- 0
-
- 0.0
- 0.0
-
- 0
- 1
- false
-
-
- 1
-
- 282.0
- 150.0
-
- 1
- 0
- false
-
-
- 2
-
- 154.0
- 176.0
-
- 2
- 0
- false
-
-
- 3
-
- 0.0
- 0.0
-
- 3
- 2
- false
-
-
- false
-
-
- Joueur
- Coup
- Tire
-
-
- Tire
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Tire::WayPoint::0
- Tire::WayPoint::1
-
-
- false
-
-
- *
-
- 0.0
- 0.0
- Tire::WayPoint::0
- 8
- 8
- BOTTOM
-
- false
-
-
- joueur
-
- 16.0
- -21.0
- Tire::WayPoint::0
- 8
- 8
- TOP
-
- 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
-
-
-
-
- 0
-
- 0.0
- 0.0
-
- 0
- 1
- false
-
-
- 1
-
- 0.0
- 0.0
-
- 1
- 2
- false
-
-
- false
-
-