Stormpy.info¶
- class Version¶
Version information for Storm
- build_info = "Compiled on Linux 6.11.0-1018-azure using gcc 14.2.0 with flags 'compiled with NDEBUG'"¶
- development = True¶
- long = 'Version 1.10.0 (dev) build from revision GITDIR-NOTFOUND (potentially dirty)'¶
- major = 1¶
- minor = 10¶
- patch = 0¶
- short = '1.10.0 (dev)'¶
- storm_development_version() bool ¶
Is true, if the version of storm was marked as modified since release. :return: True if a development version
- storm_exact_use_cln() bool ¶
Check if exact arithmetic in Storm uses CLN or GMP.
- Returns:
True iff exact arithmetic uses CLN.
- Return type:
bool
- storm_from_system() bool ¶
Does stormpy rely on a (pre-existing) system installation of Storm. System versions include anything on the system that was not fetched during the build of stormpy.
- Returns:
True, if stormpy linked against a preexisting storm installation.
- storm_origin_info() [str | None, str | None] ¶
Information about the source of storm, in particular the repo path and the repo tag.
- If storm was already on the system during installation and this preexisting version was used,
these values are expected to be None.
If storm was installed (locally) as part of the installation process, these values are expected to be not none. Then:
The repo path usually takes the form of a url
The tag refers to a tag on the repo.
A noteworthy exception is when the fetch was from a local source dir. In that case, this source dir is included, and the tag reads “__local-source-dir__”
- Returns:
A pair with the repo path and the repo tag.
- storm_ratfunc_use_cln() bool ¶
Check if rational functions in Storm use CLN or GMP.
- Returns:
True iff rational functions use CLN.
- Return type:
bool
- storm_version() str ¶
Get Storm version.
- Returns:
Storm version
- Return type:
str