Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
Namespaces | |
namespace | builder |
namespace | cli |
namespace | combinatorics |
namespace | cstring |
namespace | dd |
namespace | detail |
namespace | graph |
namespace | jani |
namespace | ksp |
namespace | kwek_mehlhorn |
namespace | math |
namespace | matrix |
namespace | numerical |
namespace | parameterlifting |
namespace | parametric |
namespace | permutation |
namespace | pfinternal |
namespace | prism |
namespace | resources |
namespace | solver |
namespace | stateelimination |
namespace | string |
namespace | vector |
Classes | |
class | AutomaticSettings |
class | BernoulliDistributionGenerator |
class | ConstantsComparator |
class | ConstantsComparator< ValueType, ConstantsComparatorEnablePrecision< ValueType > > |
class | ExponentialDistributionGenerator |
class | Extremum |
Stores and manages an extremal (maximal or minimal) value. More... | |
class | FilteredRewardModel |
class | Hash |
class | ModelInstantiator |
This class allows efficient instantiation of the given parametric model. More... | |
class | ProgressMeasurement |
A class that provides convenience operations to display run times. More... | |
class | RandomProbabilityGenerator |
class | RandomProbabilityGenerator< double > |
class | RandomProbabilityGenerator< storm::RationalNumber > |
class | Stopwatch |
A class that provides convenience operations to display run times. More... | |
Typedefs | |
template<typename ValueType > | |
using | ElementLess = typename detail::ElementLess< ValueType >::type |
template<typename ValueType > | |
using | ElementGreater = typename detail::ElementGreater< ValueType >::type |
template<typename ValueType > | |
using | ConstantsComparatorEnablePrecision = typename std::enable_if_t< std::is_same< ValueType, double >::value||std::is_same< ValueType, storm::RationalNumber >::value > |
template<typename ValueType > | |
using | Maximum = Extremum< storm::OptimizationDirection::Maximize, ValueType > |
template<typename ValueType > | |
using | Minimum = Extremum< storm::OptimizationDirection::Minimize, ValueType > |
Enumerations | |
enum class | Engine { Sparse , Hybrid , Dd , DdSparse , Exploration , AbstractionRefinement , Automatic , Unknown } |
An enumeration of all engines. More... | |
Functions | |
template<typename ValueType > | |
ValueType | one () |
template<typename ValueType > | |
ValueType | zero () |
template<typename ValueType > | |
ValueType | infinity () |
template<typename ValueType > | |
bool | isOne (ValueType const &a) |
template<typename ValueType > | |
bool | isZero (ValueType const &a) |
template<typename ValueType > | |
bool | isNan (ValueType const &) |
template<> | |
bool | isNan (double const &value) |
template<typename ValueType > | |
bool | isAlmostZero (ValueType const &a) |
template<typename ValueType > | |
bool | isAlmostOne (ValueType const &a) |
template<typename ValueType > | |
bool | isConstant (ValueType const &) |
template<typename ValueType > | |
bool | isInfinity (ValueType const &a) |
template<typename ValueType > | |
bool | isInteger (ValueType const &number) |
template<> | |
bool | isInteger (int const &) |
template<> | |
bool | isInteger (uint32_t const &) |
template<> | |
bool | isInteger (storm::storage::sparse::state_type const &) |
template<typename TargetType , typename SourceType > | |
TargetType | convertNumber (SourceType const &number) |
template<> | |
uint_fast64_t | convertNumber (double const &number) |
template<> | |
int_fast64_t | convertNumber (double const &number) |
template<> | |
double | convertNumber (uint_fast64_t const &number) |
template<> | |
double | convertNumber (double const &number) |
template<> | |
double | convertNumber (long long const &number) |
template<> | |
storm::storage::sparse::state_type | convertNumber (long long const &number) |
template<typename ValueType > | |
ValueType | simplify (ValueType value) |
template<typename ValueType > | |
std::pair< ValueType, ValueType > | minmax (std::vector< ValueType > const &values) |
template<typename ValueType > | |
ValueType | minimum (std::vector< ValueType > const &values) |
template<typename ValueType > | |
ValueType | maximum (std::vector< ValueType > const &values) |
template<typename K , typename ValueType > | |
std::pair< ValueType, ValueType > | minmax (std::map< K, ValueType > const &values) |
template<typename K , typename ValueType > | |
ValueType | minimum (std::map< K, ValueType > const &values) |
template<typename K , typename ValueType > | |
ValueType | maximum (std::map< K, ValueType > const &values) |
template<typename ValueType > | |
ValueType | pow (ValueType const &value, int_fast64_t exponent) |
template<typename ValueType > | |
ValueType | max (ValueType const &first, ValueType const &second) |
template<typename ValueType > | |
ValueType | min (ValueType const &first, ValueType const &second) |
template<typename ValueType > | |
ValueType | sqrt (ValueType const &number) |
template<typename ValueType > | |
ValueType | abs (ValueType const &number) |
template<typename ValueType > | |
ValueType | floor (ValueType const &number) |
template<typename ValueType > | |
ValueType | ceil (ValueType const &number) |
template<typename ValueType > | |
ValueType | round (ValueType const &number) |
template<typename ValueType > | |
ValueType | log (ValueType const &number) |
template<typename ValueType > | |
ValueType | log10 (ValueType const &number) |
template<typename ValueType > | |
ValueType | cos (ValueType const &number) |
template<typename ValueType > | |
ValueType | sin (ValueType const &number) |
template<typename ValueType > | |
uint64_t | numDigits (ValueType const &number) |
template<typename ValueType > | |
NumberTraits< ValueType >::IntegerType | trunc (ValueType const &number) |
template<typename IntegerType > | |
IntegerType | mod (IntegerType const &first, IntegerType const &second) |
template<typename IntegerType > | |
std::pair< IntegerType, IntegerType > | divide (IntegerType const ÷nd, IntegerType const &divisor) |
(Integer-)Divides the dividend by the divisor and returns the result plus the remainder. | |
template<typename ValueType > | |
std::string | to_string (ValueType const &value) |
template<> | |
double | convertNumber (std::string const &value) |
template<> | |
storm::Interval | convertNumber (double const &number) |
template<> | |
storm::Interval | convertNumber (uint64_t const &number) |
template<> | |
double | convertNumber (storm::Interval const &number) |
template<> | |
storm::Interval | abs (storm::Interval const &interval) |
template double | one () |
template double | zero () |
template double | infinity () |
template bool | isOne (double const &value) |
template bool | isZero (double const &value) |
template bool | isAlmostZero (double const &value) |
template bool | isAlmostOne (double const &value) |
template bool | isConstant (double const &value) |
template bool | isInfinity (double const &value) |
template bool | isInteger (double const &number) |
template double | simplify (double value) |
template std::pair< double, double > | minmax (std::vector< double > const &) |
template double | minimum (std::vector< double > const &) |
template double | maximum (std::vector< double > const &) |
template std::pair< double, double > | minmax (std::map< uint64_t, double > const &) |
template double | minimum (std::map< uint64_t, double > const &) |
template double | maximum (std::map< uint64_t, double > const &) |
template double | pow (double const &value, int_fast64_t exponent) |
template double | max (double const &first, double const &second) |
template double | min (double const &first, double const &second) |
template double | sqrt (double const &number) |
template double | abs (double const &number) |
template double | floor (double const &number) |
template double | ceil (double const &number) |
template double | round (double const &number) |
template double | log (double const &number) |
template double | log10 (double const &number) |
template double | cos (double const &number) |
template double | sin (double const &number) |
template NumberTraits< double >::IntegerType | trunc (double const &number) |
template double | mod (double const &first, double const &second) |
template std::string | to_string (double const &value) |
template bool | isOne (int const &value) |
template bool | isZero (int const &value) |
template bool | isConstant (int const &value) |
template bool | isInfinity (int const &value) |
template bool | isOne (uint32_t const &value) |
template bool | isZero (uint32_t const &value) |
template bool | isConstant (uint32_t const &value) |
template bool | isInfinity (uint32_t const &value) |
template bool | isOne (storm::storage::sparse::state_type const &value) |
template bool | isZero (storm::storage::sparse::state_type const &value) |
template bool | isConstant (storm::storage::sparse::state_type const &value) |
template bool | isInfinity (storm::storage::sparse::state_type const &value) |
template unsigned long | convertNumber (long const &) |
template<typename ValueType > | |
std::pair< ValueType, ValueType > | asFraction (ValueType const &number) |
template<typename IndexType , typename ValueType > | |
storm::storage::MatrixEntry< IndexType, ValueType > & | simplify (storm::storage::MatrixEntry< IndexType, ValueType > &matrixEntry) |
template<typename IndexType , typename ValueType > | |
storm::storage::MatrixEntry< IndexType, ValueType > && | simplify (storm::storage::MatrixEntry< IndexType, ValueType > &&matrixEntry) |
template<typename RationalType > | |
NumberTraits< RationalType >::IntegerType | numerator (RationalType const &number) |
template<typename RationalType > | |
NumberTraits< RationalType >::IntegerType | denominator (RationalType const &number) |
std::vector< Engine > | getEngines () |
Returns a list of all available engines (excluding Unknown) | |
std::string | toString (Engine const &engine) |
Returns a string representation of the given engine. | |
std::ostream & | operator<< (std::ostream &os, Engine const &engine) |
Writes the string representation of the given engine to the given stream. | |
Engine | engineFromString (std::string const &engineStr) |
Parses the string representation of an engine and returns the corresponding engine. | |
storm::builder::BuilderType | getBuilderType (storm::utility::Engine const &engine) |
Returns the builder type used for the given engine. | |
template<typename ValueType > | |
bool | canHandle (storm::utility::Engine const &engine, storm::storage::SymbolicModelDescription::ModelType const &modelType, storm::modelchecker::CheckTask< storm::logic::Formula, ValueType > const &checkTask) |
template<> | |
bool | canHandle< storm::RationalFunction > (storm::utility::Engine const &engine, storm::storage::SymbolicModelDescription::ModelType const &modelType, storm::modelchecker::CheckTask< storm::logic::Formula, storm::RationalFunction > const &checkTask) |
template<typename ValueType > | |
bool | canHandle (storm::utility::Engine const &engine, std::vector< storm::jani::Property > const &properties, storm::storage::SymbolicModelDescription const &modelDescription) |
Returns false if the given model description and one of the given properties can certainly not be handled by the given engine. | |
template bool | canHandle< double > (storm::utility::Engine const &, std::vector< storm::jani::Property > const &, storm::storage::SymbolicModelDescription const &) |
template bool | canHandle< storm::RationalNumber > (storm::utility::Engine const &, std::vector< storm::jani::Property > const &, storm::storage::SymbolicModelDescription const &) |
template bool | canHandle< storm::RationalFunction > (storm::utility::Engine const &, std::vector< storm::jani::Property > const &, storm::storage::SymbolicModelDescription const &) |
template<typename RewardModelType > | |
FilteredRewardModel< RewardModelType > | createFilteredRewardModel (RewardModelType const &baseRewardModel, storm::logic::RewardAccumulation const &acc, bool isDiscreteTimeModel) |
template<typename RewardModelType , typename FormulaType > | |
FilteredRewardModel< RewardModelType > | createFilteredRewardModel (RewardModelType const &baseRewardModel, bool isDiscreteTimeModel, FormulaType const &formula) |
template<typename ModelType , typename CheckTaskType > | |
FilteredRewardModel< typename ModelType::RewardModelType > | createFilteredRewardModel (ModelType const &model, CheckTaskType const &checkTask) |
void | initializeLogger () |
Initializes the logging framework and sets up logging to console. | |
void | setOutputDigits (int digits) |
Set number of digits for printing output. | |
void | setUp () |
Performs some necessary initializations. | |
void | cleanUp () |
Performs some necessary clean-up. | |
void | setOutputDigitsFromGeneralPrecision (double precision) |
Set number of digits for printing output from given precision requirement. | |
l3pp::LogLevel | getLogLevel () |
Gets the global log level. | |
void | setLogLevel (l3pp::LogLevel level) |
Set the global log level. | |
void | initializeFileLogging (std::string const &logfileName) |
Sets up the logging to file. | |
std::ostream & | operator<< (std::ostream &out, Stopwatch const &stopwatch) |
uint64_t | getNumberOfThreads () |
using storm::utility::ConstantsComparatorEnablePrecision = typedef typename std::enable_if_t<std::is_same<ValueType, double>::value || std::is_same<ValueType, storm::RationalNumber>::value> |
Definition at line 24 of file ConstantsComparator.h.
using storm::utility::ElementGreater = typedef typename detail::ElementGreater<ValueType>::type |
Definition at line 72 of file constants.h.
using storm::utility::ElementLess = typedef typename detail::ElementLess<ValueType>::type |
Definition at line 69 of file constants.h.
using storm::utility::Maximum = typedef Extremum<storm::OptimizationDirection::Maximize, ValueType> |
Definition at line 127 of file Extremum.h.
using storm::utility::Minimum = typedef Extremum<storm::OptimizationDirection::Minimize, ValueType> |
Definition at line 129 of file Extremum.h.
|
strong |
template double storm::utility::abs | ( | double const & | number | ) |
storm::Interval storm::utility::abs | ( | storm::Interval const & | interval | ) |
Definition at line 988 of file constants.cpp.
ValueType storm::utility::abs | ( | ValueType const & | number | ) |
Definition at line 227 of file constants.cpp.
std::pair< ValueType, ValueType > storm::utility::asFraction | ( | ValueType const & | number | ) |
bool storm::utility::canHandle | ( | storm::utility::Engine const & | engine, |
std::vector< storm::jani::Property > const & | properties, | ||
storm::storage::SymbolicModelDescription const & | modelDescription | ||
) |
Returns false if the given model description and one of the given properties can certainly not be handled by the given engine.
Notice that the set of handable model checking queries is only overapproximated, i.e. if this returns true, the query could still be not supported by the engine. This behavior is due to the fact that we sometimes need to actually build the model in order to decide whether it is supported.
Definition at line 264 of file Engine.cpp.
bool storm::utility::canHandle | ( | storm::utility::Engine const & | engine, |
storm::storage::SymbolicModelDescription::ModelType const & | modelType, | ||
storm::modelchecker::CheckTask< storm::logic::Formula, ValueType > const & | checkTask | ||
) |
Definition at line 105 of file Engine.cpp.
template bool storm::utility::canHandle< double > | ( | storm::utility::Engine const & | , |
std::vector< storm::jani::Property > const & | , | ||
storm::storage::SymbolicModelDescription const & | |||
) |
template bool storm::utility::canHandle< storm::RationalFunction > | ( | storm::utility::Engine const & | , |
std::vector< storm::jani::Property > const & | , | ||
storm::storage::SymbolicModelDescription const & | |||
) |
bool storm::utility::canHandle< storm::RationalFunction > | ( | storm::utility::Engine const & | engine, |
storm::storage::SymbolicModelDescription::ModelType const & | modelType, | ||
storm::modelchecker::CheckTask< storm::logic::Formula, storm::RationalFunction > const & | checkTask | ||
) |
Definition at line 202 of file Engine.cpp.
template bool storm::utility::canHandle< storm::RationalNumber > | ( | storm::utility::Engine const & | , |
std::vector< storm::jani::Property > const & | , | ||
storm::storage::SymbolicModelDescription const & | |||
) |
template double storm::utility::ceil | ( | double const & | number | ) |
ValueType storm::utility::ceil | ( | ValueType const & | number | ) |
Definition at line 237 of file constants.cpp.
void storm::utility::cleanUp | ( | ) |
Performs some necessary clean-up.
Definition at line 37 of file initialize.cpp.
uint_fast64_t storm::utility::convertNumber | ( | double const & | number | ) |
Definition at line 104 of file constants.cpp.
int_fast64_t storm::utility::convertNumber | ( | double const & | number | ) |
Definition at line 109 of file constants.cpp.
double storm::utility::convertNumber | ( | double const & | number | ) |
Definition at line 119 of file constants.cpp.
storm::Interval storm::utility::convertNumber | ( | double const & | number | ) |
Definition at line 946 of file constants.cpp.
template double storm::utility::convertNumber | ( | long const & | ) |
double storm::utility::convertNumber | ( | long long const & | number | ) |
Definition at line 124 of file constants.cpp.
storm::storage::sparse::state_type storm::utility::convertNumber | ( | long long const & | number | ) |
Definition at line 129 of file constants.cpp.
TargetType storm::utility::convertNumber | ( | SourceType const & | number | ) |
Definition at line 99 of file constants.cpp.
double storm::utility::convertNumber | ( | std::string const & | value | ) |
Definition at line 941 of file constants.cpp.
double storm::utility::convertNumber | ( | storm::Interval const & | number | ) |
Definition at line 982 of file constants.cpp.
storm::Interval storm::utility::convertNumber | ( | uint64_t const & | number | ) |
Definition at line 951 of file constants.cpp.
double storm::utility::convertNumber | ( | uint_fast64_t const & | number | ) |
Definition at line 114 of file constants.cpp.
template double storm::utility::cos | ( | double const & | number | ) |
ValueType storm::utility::cos | ( | ValueType const & | number | ) |
Definition at line 258 of file constants.cpp.
FilteredRewardModel< typename ModelType::RewardModelType > storm::utility::createFilteredRewardModel | ( | ModelType const & | model, |
CheckTaskType const & | checkTask | ||
) |
Definition at line 96 of file FilteredRewardModel.h.
FilteredRewardModel< RewardModelType > storm::utility::createFilteredRewardModel | ( | RewardModelType const & | baseRewardModel, |
bool | isDiscreteTimeModel, | ||
FormulaType const & | formula | ||
) |
Definition at line 87 of file FilteredRewardModel.h.
FilteredRewardModel< RewardModelType > storm::utility::createFilteredRewardModel | ( | RewardModelType const & | baseRewardModel, |
storm::logic::RewardAccumulation const & | acc, | ||
bool | isDiscreteTimeModel | ||
) |
Definition at line 75 of file FilteredRewardModel.h.
NumberTraits< RationalType >::IntegerType storm::utility::denominator | ( | RationalType const & | number | ) |
std::pair< IntegerType, IntegerType > storm::utility::divide | ( | IntegerType const & | dividend, |
IntegerType const & | divisor | ||
) |
(Integer-)Divides the dividend by the divisor and returns the result plus the remainder.
Definition at line 290 of file constants.cpp.
Engine storm::utility::engineFromString | ( | std::string const & | engineStr | ) |
Parses the string representation of an engine and returns the corresponding engine.
If the engine is not found, we print an error and return Engine::Unknown.
Definition at line 70 of file Engine.cpp.
template double storm::utility::floor | ( | double const & | number | ) |
ValueType storm::utility::floor | ( | ValueType const & | number | ) |
Definition at line 232 of file constants.cpp.
storm::builder::BuilderType storm::utility::getBuilderType | ( | Engine const & | engine | ) |
Returns the builder type used for the given engine.
Definition at line 84 of file Engine.cpp.
std::vector< Engine > storm::utility::getEngines | ( | ) |
Returns a list of all available engines (excluding Unknown)
Definition at line 33 of file Engine.cpp.
l3pp::LogLevel storm::utility::getLogLevel | ( | ) |
Gets the global log level.
Definition at line 55 of file initialize.cpp.
uint64_t storm::utility::getNumberOfThreads | ( | ) |
Definition at line 53 of file threads.cpp.
ValueType storm::utility::infinity | ( | ) |
Definition at line 32 of file constants.cpp.
template double storm::utility::infinity | ( | ) |
void storm::utility::initializeFileLogging | ( | std::string const & | logfileName | ) |
Sets up the logging to file.
Definition at line 68 of file initialize.cpp.
void storm::utility::initializeLogger | ( | ) |
Initializes the logging framework and sets up logging to console.
Definition at line 10 of file initialize.cpp.
template bool storm::utility::isAlmostOne | ( | double const & | value | ) |
bool storm::utility::isAlmostOne | ( | ValueType const & | a | ) |
Definition at line 62 of file constants.cpp.
template bool storm::utility::isAlmostZero | ( | double const & | value | ) |
bool storm::utility::isAlmostZero | ( | ValueType const & | a | ) |
Definition at line 57 of file constants.cpp.
template bool storm::utility::isConstant | ( | double const & | value | ) |
template bool storm::utility::isConstant | ( | int const & | value | ) |
template bool storm::utility::isConstant | ( | storm::storage::sparse::state_type const & | value | ) |
template bool storm::utility::isConstant | ( | uint32_t const & | value | ) |
bool storm::utility::isConstant | ( | ValueType const & | ) |
Definition at line 67 of file constants.cpp.
template bool storm::utility::isInfinity | ( | double const & | value | ) |
template bool storm::utility::isInfinity | ( | int const & | value | ) |
template bool storm::utility::isInfinity | ( | storm::storage::sparse::state_type const & | value | ) |
template bool storm::utility::isInfinity | ( | uint32_t const & | value | ) |
bool storm::utility::isInfinity | ( | ValueType const & | a | ) |
Definition at line 72 of file constants.cpp.
template bool storm::utility::isInteger | ( | double const & | number | ) |
bool storm::utility::isInteger | ( | int const & | ) |
Definition at line 84 of file constants.cpp.
bool storm::utility::isInteger | ( | storm::storage::sparse::state_type const & | ) |
Definition at line 94 of file constants.cpp.
bool storm::utility::isInteger | ( | uint32_t const & | ) |
Definition at line 89 of file constants.cpp.
bool storm::utility::isInteger | ( | ValueType const & | number | ) |
Definition at line 77 of file constants.cpp.
bool storm::utility::isNan | ( | double const & | value | ) |
Definition at line 52 of file constants.cpp.
bool storm::utility::isNan | ( | ValueType const & | ) |
Definition at line 47 of file constants.cpp.
template bool storm::utility::isOne | ( | double const & | value | ) |
template bool storm::utility::isOne | ( | int const & | value | ) |
template bool storm::utility::isOne | ( | storm::storage::sparse::state_type const & | value | ) |
template bool storm::utility::isOne | ( | uint32_t const & | value | ) |
bool storm::utility::isOne | ( | ValueType const & | a | ) |
Definition at line 37 of file constants.cpp.
template bool storm::utility::isZero | ( | double const & | value | ) |
template bool storm::utility::isZero | ( | int const & | value | ) |
template bool storm::utility::isZero | ( | storm::storage::sparse::state_type const & | value | ) |
template bool storm::utility::isZero | ( | uint32_t const & | value | ) |
bool storm::utility::isZero | ( | ValueType const & | a | ) |
Definition at line 42 of file constants.cpp.
template double storm::utility::log | ( | double const & | number | ) |
ValueType storm::utility::log | ( | ValueType const & | number | ) |
Definition at line 248 of file constants.cpp.
template double storm::utility::log10 | ( | double const & | number | ) |
ValueType storm::utility::log10 | ( | ValueType const & | number | ) |
Definition at line 253 of file constants.cpp.
template double storm::utility::max | ( | double const & | first, |
double const & | second | ||
) |
ValueType storm::utility::max | ( | ValueType const & | first, |
ValueType const & | second | ||
) |
Definition at line 212 of file constants.cpp.
ValueType storm::utility::maximum | ( | std::map< K, ValueType > const & | values | ) |
Definition at line 202 of file constants.cpp.
template double storm::utility::maximum | ( | std::map< uint64_t, double > const & | ) |
template double storm::utility::maximum | ( | std::vector< double > const & | ) |
ValueType storm::utility::maximum | ( | std::vector< ValueType > const & | values | ) |
Definition at line 169 of file constants.cpp.
template double storm::utility::min | ( | double const & | first, |
double const & | second | ||
) |
ValueType storm::utility::min | ( | ValueType const & | first, |
ValueType const & | second | ||
) |
Definition at line 217 of file constants.cpp.
ValueType storm::utility::minimum | ( | std::map< K, ValueType > const & | values | ) |
Definition at line 197 of file constants.cpp.
template double storm::utility::minimum | ( | std::map< uint64_t, double > const & | ) |
template double storm::utility::minimum | ( | std::vector< double > const & | ) |
ValueType storm::utility::minimum | ( | std::vector< ValueType > const & | values | ) |
Definition at line 157 of file constants.cpp.
std::pair< ValueType, ValueType > storm::utility::minmax | ( | std::map< K, ValueType > const & | values | ) |
Definition at line 181 of file constants.cpp.
template std::pair< double, double > storm::utility::minmax | ( | std::map< uint64_t, double > const & | ) |
template std::pair< double, double > storm::utility::minmax | ( | std::vector< double > const & | ) |
std::pair< ValueType, ValueType > storm::utility::minmax | ( | std::vector< ValueType > const & | values | ) |
Definition at line 141 of file constants.cpp.
template double storm::utility::mod | ( | double const & | first, |
double const & | second | ||
) |
IntegerType storm::utility::mod | ( | IntegerType const & | first, |
IntegerType const & | second | ||
) |
Definition at line 285 of file constants.cpp.
uint64_t storm::utility::numDigits | ( | ValueType const & | number | ) |
Definition at line 268 of file constants.cpp.
NumberTraits< RationalType >::IntegerType storm::utility::numerator | ( | RationalType const & | number | ) |
ValueType storm::utility::one | ( | ) |
Definition at line 22 of file constants.cpp.
template double storm::utility::one | ( | ) |
std::ostream & storm::utility::operator<< | ( | std::ostream & | os, |
Engine const & | engine | ||
) |
Writes the string representation of the given engine to the given stream.
Definition at line 65 of file Engine.cpp.
std::ostream & storm::utility::operator<< | ( | std::ostream & | out, |
Stopwatch const & | stopwatch | ||
) |
Definition at line 68 of file Stopwatch.cpp.
template double storm::utility::pow | ( | double const & | value, |
int_fast64_t | exponent | ||
) |
ValueType storm::utility::pow | ( | ValueType const & | value, |
int_fast64_t | exponent | ||
) |
Definition at line 207 of file constants.cpp.
template double storm::utility::round | ( | double const & | number | ) |
ValueType storm::utility::round | ( | ValueType const & | number | ) |
Definition at line 242 of file constants.cpp.
void storm::utility::setLogLevel | ( | l3pp::LogLevel | level | ) |
Set the global log level.
Definition at line 59 of file initialize.cpp.
void storm::utility::setOutputDigits | ( | int | digits | ) |
Set number of digits for printing output.
digits | Number of digits to print. |
Definition at line 28 of file initialize.cpp.
void storm::utility::setOutputDigitsFromGeneralPrecision | ( | double | precision | ) |
Set number of digits for printing output from given precision requirement.
For a precision of 1e-n we output at least n digits.
precision | General precision. |
Definition at line 41 of file initialize.cpp.
void storm::utility::setUp | ( | ) |
Performs some necessary initializations.
Definition at line 32 of file initialize.cpp.
template double storm::utility::simplify | ( | double | value | ) |
storm::storage::MatrixEntry< IndexType, ValueType > && storm::utility::simplify | ( | storm::storage::MatrixEntry< IndexType, ValueType > && | matrixEntry | ) |
storm::storage::MatrixEntry< IndexType, ValueType > & storm::utility::simplify | ( | storm::storage::MatrixEntry< IndexType, ValueType > & | matrixEntry | ) |
ValueType storm::utility::simplify | ( | ValueType | value | ) |
Definition at line 134 of file constants.cpp.
template double storm::utility::sin | ( | double const & | number | ) |
ValueType storm::utility::sin | ( | ValueType const & | number | ) |
Definition at line 263 of file constants.cpp.
template double storm::utility::sqrt | ( | double const & | number | ) |
ValueType storm::utility::sqrt | ( | ValueType const & | number | ) |
Definition at line 222 of file constants.cpp.
template std::string storm::utility::to_string | ( | double const & | value | ) |
std::string storm::utility::to_string | ( | ValueType const & | value | ) |
Definition at line 295 of file constants.cpp.
std::string storm::utility::toString | ( | Engine const & | engine | ) |
Returns a string representation of the given engine.
Definition at line 41 of file Engine.cpp.
template NumberTraits< double >::IntegerType storm::utility::trunc | ( | double const & | number | ) |
NumberTraits< ValueType >::IntegerType storm::utility::trunc | ( | ValueType const & | number | ) |
Definition at line 280 of file constants.cpp.
ValueType storm::utility::zero | ( | ) |
Definition at line 27 of file constants.cpp.
template double storm::utility::zero | ( | ) |