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

#include <storm-version.h>

Public Types

enum class  VersionSource { Git , Static }
 
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 std::string versionLabel
 The label version of Storm (might be empty).
 
static const bool versionDev
 Flag indicating if the version of Storm is a development version.
 
static const VersionSource versionSource
 The source of the versioning information.
 
static const std::string gitRevisionHash
 The short hash of the git commit this build is based on.
 
static const unsigned commitsAhead
 How many commits passed since the tag was last set.
 
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 35 of file storm-version.h.

◆ VersionSource

Enumerator
Git 
Static 

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

Member Function Documentation

◆ buildInfo()

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

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

◆ longVersionString()

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

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

◆ shortVersionString()

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

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

Member Data Documentation

◆ commitsAhead

const unsigned storm::StormVersion::commitsAhead
static

How many commits passed since the tag was last set.

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

◆ cxxCompiler

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

The compiler version that was used to build Storm.

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

◆ cxxFlags

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

The flags that were used to build Storm.

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

◆ dirty

const DirtyState storm::StormVersion::dirty
static

Indicates whether files were modified.

Definition at line 42 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 30 of file storm-version.h.

◆ systemName

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

The system which has compiled Storm.

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

◆ systemVersion

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

The system version which has compiled Storm.

Definition at line 48 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 22 of file storm-version.h.

◆ versionLabel

const std::string storm::StormVersion::versionLabel
static

The label version of Storm (might be empty).

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.

◆ versionSource

const VersionSource storm::StormVersion::versionSource
static

The source of the versioning information.

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


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