Glossary:animation preferences

the max number of initializations computed,
the max number of times that an operation may be enabled,
the time out for the computing of enabled transitions (in ms),
the size of unspecified deferred sets in the SETS section,
the MAXINT,
the MININT,
how many levels of refined models are animated by default,
if the software should try more aggressively to detect expressions that are not well-defined,
if the software should use the CLP(FD) solver for B integers,
if there should be lazy expansion of lambdas and set comprehensions,
if the lazy form should be converted back into explicit form for variables, constants, and operation arguments,
if a small main window should be used for ProB,
if the B source code should be shown,
if the trace for each event should be stored,
if top-level ANY variable values of B Operations without parameters as parameters should be shown,
if the effect of initialization and setup constants in the operation name should be shown,
if operations which are skip or PRE C THEN skip should be animated,
if the outermost PRE should be treated as SELECT,
if operations should be required to assign to all outputs.