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

commit

Browse source
This commit is contained in:
Lukian 2025-01-17 14:05:20 +01:00
parent aa6c329743
commit e471d47fd5
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
projet.use
View file

@ -65,7 +65,8 @@ operations
constraints constraints
inv: inv:
plateau.cases->select(c: Case | c.x = x and c.y = y)->size() = 1 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 inv coordonne:
x <= 10 and x > 0 and y > 0 and y <= 10
end end
class Bateau class Bateau