Variable

pencil

VariableRef

pencil

Version

apps

value

BooleanConstant FloatConstant IntegerConstant

variable

ArrayVariable ArrayVariableRef ScalarVariable ScalarVariableRef VariableRef

version

DefineSet ReachSet