Promela |
Meta Terms |
True(1) |
NAME
true
-
predefined boolean constant.
SYNTAX
true
DESCRIPTION
The keyword
true
is a synonym of the constant value one (1),
and therefore also a synonym of
skip .
It supports a more natural syntax for
manipulating Boolean values.
NOTES
This keyword is not supported in Spin versions prior to 3.0.
Because it is intercepted in the lexical analyzer as a meta-term,
it shows up in traces as its numeric equivalent
1 .
SEE ALSO
skip(1), false(1), condition(4).
Spin Online References Promela Manual Index Promela Grammar Spin HomePage |
(Page Updated: 16 December 1997) |