PrismIntegerVariable¶
- class PrismIntegerVariable¶
Bases:
PrismVariableA program integer 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 lower_bound_expression¶
The the lower bound expression of this integer variable
- property name¶
Variable name
- property upper_bound_expression¶
The the upper bound expression of this integer variable