Nr Name Value
1 board ?
2 joueur ?
3 lastpos ?
Nr Name Value
1 count /*@symbolic*/ %(x,y,c,b,dx,dy).(x : INTEGER & y : INTEGER & c : Couleurs & b : POW(INTEGER * INTEGER * Couleurs) & dx : INTEGER & dy : INTEGER|(IF x |-> y |-> c : b THEN 1 + count(x + dx |-> y + dy |-> c |-> b |-> dx |-> dy) ELSE 0 END))
2 maxRow 6
3 maxCol 7
Nr Name Value
1 Couleurs {jaune,rouge,vide}
2 PHASES {jouer,compter,verifier}
3 INT (-1 .. 3)
Nr Event Target State ID
1SETUP_CONSTANTS(count=/*@symbolic*/ %(x,y,c,b,dx,dy).(x : INTEGER & y : INTEGER & c : Couleurs & b : POW(INTEGER * INTEG...State 0
2INITIALISATION(joueur=rouge)
3joue(4)
4joue(5)
5joue(4)
6joue(5)
7joue(4)
8joue(4)
9joue(5)
10joue(2)
11joue(2)
12joue(5)
13joue(2)
14joue(2)
15joue(4)
16joue(7)
17joue(4)
18joue(1)
19joue(1)
20joue(1)
21joue(3)
22joue(2)
23joue(3)
Generated on 2/1/2024 at 18:02 using ProB version 1.12.3-nightly
Main specification file: Puissance4.mch (modified on 2/1/2024 at 18:00)
Main specification name: Puissance4
Main VisB JSON file: puissance4_visb_B.json (modified on 2/1/2024 at 13:37)
VisB SVG file: puissance4_grid.svg (modified on 2/1/2024 at 11:32)