Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::StormVersion Struct Reference

#include <storm-version.h>

Public Types

enum class  DirtyState { Clean , Dirty , Unknown }
 

Static Public Member Functions

static std::string shortVersionString ()
 
static std::string longVersionString ()
 
static std::string buildInfo ()
 

Static Public Attributes

static const unsigned versionMajor
 The major version of Storm.
 
static const unsigned versionMinor
 The minor version of Storm.
 
static const unsigned versionPatch
 The patch version of Storm.
 
static const bool versionDev
 Flag indicating if the version of Storm is a development version.
 
static const std::string gitRevisionHash
 The short hash of the git commit this build is based on.
 
static const DirtyState dirty
 Indicates whether files were modified.
 
static const std::string systemName
 The system which has compiled Storm.
 
static const std::string systemVersion
 The system version which has compiled Storm.
 
static const std::string cxxCompiler
 The compiler version that was used to build Storm.
 
static const std::string cxxFlags
 The flags that were used to build Storm.
 

Detailed Description

Definition at line 8 of file storm-version.h.

Member Enumeration Documentation

◆ DirtyState

Enumerator
Clean 
Dirty 

no files were modified in the checkout

Unknown 

some files were modified

No information about dirtyness is given.

Definition at line 24 of file storm-version.h.

Member Function Documentation

◆ buildInfo()

static std::string storm::StormVersion::buildInfo ( )
inlinestatic

Definition at line 76 of file storm-version.h.

◆ longVersionString()

static std::string storm::StormVersion::longVersionString ( )
inlinestatic

Definition at line 54 of file storm-version.h.

◆ shortVersionString()

static std::string storm::StormVersion::shortVersionString ( )
inlinestatic

Definition at line 45 of file storm-version.h.

Member Data Documentation

◆ cxxCompiler

const std::string storm::StormVersion::cxxCompiler
static

The compiler version that was used to build Storm.

Definition at line 40 of file storm-version.h.

◆ cxxFlags

const std::string storm::StormVersion::cxxFlags
static

The flags that were used to build Storm.

Definition at line 43 of file storm-version.h.

◆ dirty

const DirtyState storm::StormVersion::dirty
static

Indicates whether files were modified.

Definition at line 31 of file storm-version.h.

◆ gitRevisionHash

const std::string storm::StormVersion::gitRevisionHash
static

The short hash of the git commit this build is based on.

Definition at line 22 of file storm-version.h.

◆ systemName

const std::string storm::StormVersion::systemName
static

The system which has compiled Storm.

Definition at line 34 of file storm-version.h.

◆ systemVersion

const std::string storm::StormVersion::systemVersion
static

The system version which has compiled Storm.

Definition at line 37 of file storm-version.h.

◆ versionDev

const bool storm::StormVersion::versionDev
static

Flag indicating if the version of Storm is a development version.

Definition at line 19 of file storm-version.h.

◆ versionMajor

const unsigned storm::StormVersion::versionMajor
static

The major version of Storm.

Definition at line 10 of file storm-version.h.

◆ versionMinor

const unsigned storm::StormVersion::versionMinor
static

The minor version of Storm.

Definition at line 13 of file storm-version.h.

◆ versionPatch

const unsigned storm::StormVersion::versionPatch
static

The patch version of Storm.

Definition at line 16 of file storm-version.h.


The documentation for this struct was generated from the following file: