coding-toasters/projet-bataille-navale
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

x,y € [0,10]

Browse source
This commit is contained in:
vSpaike 2025-01-17 13:55:09 +01:00
parent 608a4e0706
commit 13cfe513fe
2 changed files with 266 additions and 296 deletions
Download patch file Download diff file Expand all files Collapse all files

2
projet.use
View file

@ -62,6 +62,8 @@ attributes
operations
changerEtat(nouveauEtat: TypeCase)
getEtat(): TypeCase
constraints
inv coordonne: x <= 10 and x > 0 and y > 0 and y <= 10
end
class Bateau