Start Extensions API Documentation stormpy.pars FeasibilityResult FeasibilityResult¶ class FeasibilityResult¶ Bases: pybind11_object A satisfying parameter valuation and its value at the initial state property valuation¶ Mapping of parameters to their values property value¶ Value at the initial state, including infinite rewards