This is to true
if the output environment is guaranteed to emit the molecule at least once.
This is to true
if the output environment is guaranteed to emit the molecule at least once.
This is false
for most environments.
Id of the output environment construct.
Id of the output environment construct.
Name of the construct: one of "do while"
, "condition of while"
, or "condition of do while"
.
Describes an output environment that is guaranteed to emit the molecule at least once. This is currently used only in a do-while construct.
Id of the output environment construct.
Name of the construct: one of
"do while"
,"condition of while"
, or"condition of do while"
.