File tree Expand file tree Collapse file tree
docs/language/learn-ql/ql-etudes Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -56,7 +56,7 @@ class State extends string {
5656 * Holds if predator and prey are on the same shore and the man
5757 * is not present.
5858 */
59- predicate eats ( Shore predator , Shore prey ) { predator = prey and man = predator . other ( ) }
59+ predicate eats ( Shore predator , Shore prey ) { predator = prey and man ! =predator }
6060
6161 /** Holds if nothing gets eaten in this state. */
6262 predicate isSafe ( ) { not ( eats ( goat , cabbage ) or eats ( wolf , goat ) ) }
Original file line number Diff line number Diff line change @@ -69,7 +69,7 @@ class State extends string {
6969 * Holds if predator and prey are on the same shore and the man
7070 * is not present.
7171 */
72- predicate eats ( Shore predator , Shore prey ) { predator = prey and man = predator . other ( ) }
72+ predicate eats ( Shore predator , Shore prey ) { predator = prey and man ! =predator }
7373
7474 /** Holds if nothing gets eaten in this state. */
7575 predicate isSafe ( ) { not ( eats ( goat , cabbage ) or eats ( wolf , goat ) ) }
You can’t perform that action at this time.
0 commit comments