| Promela | Meta Term | false | 
NAME 
false -
 predefined boolean constant.
SYNTAX 
false 
DESCRIPTION 
The keyword
false is a synonym of the constant value zero (0), and can
be used in any context.
If it is used as a stand-alone condition statement,
it will block system execution as if it were a
halt 
instruction.
NOTES 
Because they are intercepted in the lexical analyzer as meta terms,
false , true , and
skip do not show up as such in error traces.
They will appear as their numeric equivalents
(0) or
(1) . 
| Spin Online References Promela Manual Index Promela Grammar Spin HomePage | (Page updated: 28 November 2004) |