Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Find Statement

This block is used to declare decision variables. It must be nested in a find block. This block can also be extended so that it can store a list of decision variables.

For example, it can be used like this:

Example of a find statement

Which would produce the following Essence Output:

find  x : int (  0 .. 10  )