Stormpy.info¶
-
class
Version
¶ Version information for Storm
-
build_info
= "Compiled on Linux 4.15.0-1077-gcp using gcc 9.3.0 with flags ' -std=c++14 -O3 -DNDEBUG -fprefetch-loop-arrays -flto -flto-partition=none -fomit-frame-pointer'"¶
-
development
= True¶
-
long
= 'Version 1.6.4 (dev) (+ 104 commits) build from revision 5a37a40ceafc656af1ac16431dd7feca7249cc0e (clean)'¶
-
major
= 1¶
-
minor
= 6¶
-
patch
= 4¶
-
short
= '1.6.4 (dev)'¶
-
-
storm_exact_use_cln
()¶ Check if exact arithmetic in Storm uses CLN. :return: True if exact arithmetic uses CLN.
-
storm_ratfunc_use_cln
()¶ Check if rational functions in Storm use CLN. :return: True iff rational functions use CLN.
-
storm_version
()¶ Get storm version. :return: Storm version