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

changed layout and fixed constraint

Browse source
This commit is contained in:
Lukian 2025-01-17 14:02:35 +01:00
parent 960abf0fb3
commit aa6c329743
3 changed files with 239 additions and 1180 deletions
Download patch file Download diff file Expand all files Collapse all files

3
projet.use
View file

@ -65,8 +65,7 @@ operations
constraints
inv:
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
class Bateau