JaniConstant

class JaniConstant(self: stormpy.io.JaniConstant, arg0: str, arg1)

Bases: pybind11_object

A Constant in JANI

property defined

is constant defined by some expression

property expression_variable

expression variable for this constant

property name

name of constant

property type

type of constant