Promela |
Meta Term |
true |
NAME
true -
predefined boolean constant.
SYNTAX
true
DESCRIPTION
The keyword
true is a synonym of the constant value one
(1) , and can be used in any context.
Because of the mapping to
(1) , true is also a synonym of
skip . It supports a more natural syntax for
manipulating boolean values.
NOTES
Because it is intercepted in the lexical analyzer as a meta term,
true is always replaced by its numeric equivalent in error traces.
Semantically, true , skip , and (1) are indistinguishable. Which term is best used depends on context and convention.
Spin Online References Promela Manual Index Promela Grammar Spin HomePage |
(Page updated: 28 November 2004) |