Action: ForceVariable [...] forces the value of a variable. Call :

test run Forces Definition of variables to be forced You can create

application. Forces, Invariants Variable sets that are forced or fulfilled

> <initialization> <forces [...] > <initialization> <forces [...] > <initialization> <forces

resets the forcing of all variables. The variables [...] variables and parameters

, and retain variables [...] retain variables [...] , and only persistent variables

view. Each variable [...] ). The variable can be set [...] of the variables, usually

The variable is set (forced [...] . The enabled variables [...] variable are listed