milliseconds

Warning

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

class milliseconds

Bases: pybind11_object

count(self: stormpy.developer.utility._utility.milliseconds) → int