No edit summary |
|||
Line 2: | Line 2: | ||
== What is the Evaluation View? == | == What is the Evaluation View? == | ||
The evaluation view shows the details of a particular state during the animation. It can be used to learn about the values of a some variables. This feature is overlapping with the State Properties View in the bottom left section of ProB's main window, but the evaluation view allows to inspect a value in greater detail. | The evaluation view shows the details of a particular state during the animation. It can be used to | ||
# learn about the values of a some variables. This feature is overlapping with the State Properties View in the bottom left section of ProB's main window, but the evaluation view allows to inspect a value in greater detail. In particular the used can inspect the sub-expressions | |||
# understand the truth value of the invariant and its sub-formulas and the values of the sub-expressions. | |||
# export the content of variables in a state to use them outside of ProB. | |||
== Invoking the View == | == Invoking the View == |
This tutorial describes the use of ProB's evaluation view to explore single states of a model.
The evaluation view shows the details of a particular state during the animation. It can be used to