From d8c7210c6e4af76001185a4a7cf223a62ff89b61 Mon Sep 17 00:00:00 2001
From: Lukian <lulul7018@gmail.com>
Date: Thu, 16 Jan 2025 19:28:31 +0100
Subject: [PATCH] added first constraint

---
 projet.use | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/projet.use b/projet.use
index 62123e3..771b205 100644
--- a/projet.use
+++ b/projet.use
@@ -69,6 +69,8 @@ attributes
     type: TypeBateau
     longueur: Integer
     Etat: EtatBateau
+constraints
+    inv longueur: type = TypeBateau::Torpilleur implies longueur = 2
 end
 
 association Utilise between