diff --git a/projet.use b/projet.use index 771b205..62123e3 100644 --- a/projet.use +++ b/projet.use @@ -69,8 +69,6 @@ attributes type: TypeBateau longueur: Integer Etat: EtatBateau -constraints - inv longueur: type = TypeBateau::Torpilleur implies longueur = 2 end association Utilise between diff --git a/projet_default.clt b/projet_default.clt deleted file mode 100644 index f51221c..0000000 --- a/projet_default.clt +++ /dev/null @@ -1,928 +0,0 @@ - - - false - false - false - true - false - false - true - false - - - Plateau - - 78.0 - 52.0 - - false - - - Flotte - - 3.0 - 40.0 - - false - - - Coup - - 35.0 - 90.0 - - false - - - Bateau - - 21.0 - 47.0 - - false - - - Jeu - - 30.0 - 24.0 - - false - - - Joueur - - 90.0 - 39.0 - - false - - - Case - - 98.0 - 71.0 - - false - - - TypeCoup - - 70.0 - 88.0 - - false - - - TypeCase - - 74.0 - 2.0 - - false - - - EtatBateau - - 50.0 - 23.0 - - false - - - TypeBateau - - 17.0 - 94.0 - - false - - - Case - Bateau - Repartit - - - cases - - 0.0 - 0.0 - Repartit::WayPoint::0 - 8 - 8 - TOP - - false - - - 0..1 - - 0.0 - 0.0 - Repartit::WayPoint::0 - 8 - 8 - BOTTOM - - false - - - Repartit - - 0.0 - 0.0 - 0.0 - -10.0 - - Repartit::WayPoint::0 - Repartit::WayPoint::1 - - - false - - - bateau - - 0.0 - 0.0 - Repartit::WayPoint::1 - 8 - 8 - TOP - - false - - - 2..5 - - 0.0 - 0.0 - Repartit::WayPoint::1 - 8 - 8 - BOTTOM - - false - - - - - 0 - - 0.0 - 0.0 - - 0 - 1 - false - - - 1 - - 0.0 - 0.0 - - 1 - 2 - false - - - false - - - Case - Plateau - Compose - - - 100 - - 0.0 - 0.0 - Compose::WayPoint::0 - 8 - 8 - BOTTOM - - false - - - cases - - 0.0 - 0.0 - Compose::WayPoint::0 - 8 - 8 - TOP - - false - - - 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 - - 0.0 - 0.0 - Compose::WayPoint::1 - 8 - 8 - BOTTOM - - false - - - - - 0 - - 0.0 - 0.0 - - 0 - 1 - false - - - 1 - - 0.0 - 0.0 - - 1 - 2 - false - - - false - - - Case - Coup - Etat - - - 1 - - 0.0 - 0.0 - Etat::WayPoint::0 - 8 - 8 - BOTTOM - - false - - - case - - 0.0 - 0.0 - Etat::WayPoint::0 - 8 - 8 - TOP - - false - - - Etat - - 0.0 - 0.0 - 0.0 - -10.0 - - Etat::WayPoint::0 - Etat::WayPoint::1 - - - false - - - coup - - 0.0 - 0.0 - Etat::WayPoint::1 - 8 - 8 - TOP - - false - - - 1 - - 0.0 - 0.0 - Etat::WayPoint::1 - 8 - 8 - BOTTOM - - false - - - - - 0 - - 0.0 - 0.0 - - 0 - 1 - false - - - 1 - - 0.0 - 0.0 - - 1 - 2 - false - - - false - - - Joueur - Flotte - Appartient - - - joueur - - 0.0 - 0.0 - Appartient::WayPoint::0 - 8 - 8 - TOP - - false - - - 1 - - 0.0 - 0.0 - Appartient::WayPoint::0 - 8 - 8 - BOTTOM - - false - - - Appartient - - 0.0 - 0.0 - 0.0 - -10.0 - - Appartient::WayPoint::0 - Appartient::WayPoint::1 - - - false - - - flotte - - 0.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 - - - joueur - - 0.0 - 0.0 - Utilise::WayPoint::0 - 8 - 8 - TOP - - false - - - 1 - - 0.0 - 0.0 - Utilise::WayPoint::0 - 8 - 8 - BOTTOM - - false - - - Utilise - - 0.0 - 0.0 - 0.0 - -10.0 - - Utilise::WayPoint::0 - Utilise::WayPoint::1 - - - false - - - 1 - - 0.0 - 0.0 - Utilise::WayPoint::1 - 8 - 8 - BOTTOM - - false - - - plateau - - 0.0 - 0.0 - Utilise::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 - Joue2 - - - joueur2 - - 0.0 - 0.0 - Joue2::WayPoint::0 - 8 - 8 - TOP - - false - - - 1 - - 0.0 - 0.0 - Joue2::WayPoint::0 - 8 - 8 - BOTTOM - - false - - - Joue2 - - 0.0 - 0.0 - 0.0 - -10.0 - - Joue2::WayPoint::0 - Joue2::WayPoint::1 - - - false - - - jeu1 - - 0.0 - 0.0 - Joue2::WayPoint::1 - 8 - 8 - TOP - - false - - - 1 - - 0.0 - 0.0 - Joue2::WayPoint::1 - 8 - 8 - BOTTOM - - false - - - - - 0 - - 0.0 - 0.0 - - 0 - 1 - false - - - 1 - - 0.0 - 0.0 - - 1 - 2 - false - - - false - - - Flotte - Bateau - Appartient2 - - - 1 - - 0.0 - 0.0 - Appartient2::WayPoint::0 - 8 - 8 - BOTTOM - - false - - - flotte - - 0.0 - 0.0 - Appartient2::WayPoint::0 - 8 - 8 - TOP - - false - - - 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 - - 0.0 - 0.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 - - - joueur1 - - 0.0 - 0.0 - Joue1::WayPoint::0 - 8 - 8 - TOP - - false - - - 1 - - 0.0 - 0.0 - Joue1::WayPoint::0 - 8 - 8 - BOTTOM - - false - - - Joue1 - - 0.0 - 0.0 - 0.0 - -10.0 - - Joue1::WayPoint::0 - Joue1::WayPoint::1 - - - false - - - 1 - - 0.0 - 0.0 - Joue1::WayPoint::1 - 8 - 8 - BOTTOM - - false - - - jeu2 - - 0.0 - 0.0 - Joue1::WayPoint::1 - 8 - 8 - TOP - - false - - - - - 0 - - 0.0 - 0.0 - - 0 - 1 - false - - - 1 - - 0.0 - 0.0 - - 1 - 2 - false - - - false - - - Joueur - Coup - Tire - - - joueur - - 0.0 - 0.0 - Tire::WayPoint::0 - 8 - 8 - TOP - - false - - - * - - 0.0 - 0.0 - Tire::WayPoint::0 - 8 - 8 - BOTTOM - - false - - - Tire - - 0.0 - 0.0 - 0.0 - -10.0 - - Tire::WayPoint::0 - Tire::WayPoint::1 - - - false - - - 1 - - 0.0 - 0.0 - Tire::WayPoint::1 - 8 - 8 - BOTTOM - - false - - - coups - - 0.0 - 0.0 - Tire::WayPoint::1 - 8 - 8 - TOP - - false - - - - - 0 - - 0.0 - 0.0 - - 0 - 1 - false - - - 1 - - 0.0 - 0.0 - - 1 - 2 - false - - - false - -