PrismBooleanVariable¶
- class PrismBooleanVariable¶
Bases:
PrismVariableA program boolean variable in a Prism program
- property expression_variable¶
The expression variable corresponding to the variable
- property initial_value_expression¶
The expression represented the initial value of the variable
- property name¶
Variable name