diff --git a/projet.use b/projet.use
index ae7ebdb..a51e2e8 100644
--- a/projet.use
+++ b/projet.use
@@ -61,12 +61,9 @@ attributes
type: TypeCase
operations
changerEtat(nouveauEtat: TypeCase)
- getEtat(): TypeCase
-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
+ getEtat(): TypeCase
+constraints
+ 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..9498a52 100644
--- a/projet_default.clt
+++ b/projet_default.clt
@@ -206,18 +206,29 @@
false
-
+
+ plateau
0.0
0.0
Compose::WayPoint::1
8
8
- BOTTOM
+ TOP
false
-
+
+ Compose
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Compose::WayPoint::0
+ Compose::WayPoint::1
+
false
@@ -275,7 +286,20 @@
Coup
Etat
-
+
+ coup
+
+ 0.0
+ 0.0
+ Etat::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
+
+ 1
0.0
0.0
@@ -286,18 +310,6 @@
false
-
- coup
-
- 18.0
- 21.0
- Etat::WayPoint::1
- 8
- 8
- TOP
-
- false
-
Etat
@@ -366,7 +378,20 @@
Flotte
Appartient
-
+
+ flotte
+
+ 0.0
+ 0.0
+ Appartient::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
+
+ 1
0.0
0.0
@@ -377,18 +402,6 @@
false
-
- flotte
-
- 105.0
- 0.0
- Appartient::WayPoint::1
- 8
- 8
- TOP
-
- false
-
Appartient
@@ -495,7 +508,20 @@
false
-
+
+ joueur
+
+ 0.0
+ 0.0
+ 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
-
@@ -560,19 +574,29 @@
false
-
- jeu1
+
+ 1
0.0
0.0
Joue2::WayPoint::1
8
8
- TOP
+ BOTTOM
false
-
+
+ Joue2
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Joue2::WayPoint::0
+ Joue2::WayPoint::1
+
false
@@ -638,7 +662,7 @@
Bateau
Appartient2
-
+
bateaux
0.0
@@ -650,12 +674,12 @@
false
-
- 1
+
+ *
0.0
0.0
- Appartient2::WayPoint::0
+ Appartient2::WayPoint::1
8
8
BOTTOM
@@ -688,6 +712,18 @@
false
+
+ 1
+
+ 0.0
+ 0.0
+ Appartient2::WayPoint::0
+ 8
+ 8
+ BOTTOM
+
+ false
+
@@ -756,7 +792,7 @@
false
-
+
joueur1
14.0