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