Ludii Forum
06-22-2020, 06:15 AM
In the next release, the ludeme "ForEach" as a boolean will be rename "ForAll".
That comes from the logic symbol "for All".
For example
(forAll
Cell
(is Count (hint))
of
id "Ball" P1)
)
Means, True if for all the cells the count of the ball owned by the player P1 is equal to the hint.
Note: That forAll ludeme is working for deduction puzzle as described in the language reference. That's why I make an example using the (hint) ludeme.
That comes from the logic symbol "for All".
For example
(forAll
Cell
(is Count (hint))
of
id "Ball" P1))
Means, True if for all the cells the count of the ball owned by the player P1 is equal to the hint.
Note: That forAll ludeme is working for deduction puzzle as described in the language reference. That's why I make an example using the (hint) ludeme.