stormpy.developer.utility

Warning

The stormpy developer API is internal and can be subject to change.

Raw bindings for Storm utilities, such as shortest paths and the Kwek-Mehlhorn algorithm.

This module is intended for developers.

Functions

sharpen(precision, value)

Convert a float to the nearest rational within precision using Kwek Mehlhorn

Classes

MatrixFormat(*values)	Format of a given transition matrix: either P itself or I-P
milliseconds
ShortestPathsGenerator	Computes the k most probable paths from the initial states to a set of target states