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

added constraint

Browse source
This commit is contained in:
Lukian 2025-01-17 13:57:19 +01:00
parent 608a4e0706
commit 54f335ea3d
2 changed files with 93 additions and 90 deletions
Download patch file Download diff file Expand all files Collapse all files

5
projet.use
View file

@ -61,7 +61,10 @@ attributes
type: TypeCase
operations
changerEtat(nouveauEtat: TypeCase)
getEtat(): TypeCase
getEtat(): TypeCase
constraints
inv:
plateau.cases->select(c: Case | c.x = x and c.y = y)->size() = 1
end
class Bateau