Storm
A Modern Probabilistic Model Checker
|
LabParser.cpp. More...
Namespaces | |
namespace | adapters |
namespace | analysis |
namespace | api |
namespace | automata |
namespace | builder |
namespace | cli |
namespace | conv |
namespace | converter |
namespace | counterexamples |
namespace | dd |
namespace | derivative |
namespace | dft |
namespace | exceptions |
namespace | expressions |
namespace | gbar |
namespace | generator |
namespace | gspn |
namespace | io |
namespace | jani |
namespace | logic |
namespace | modelchecker |
namespace | models |
namespace | optionalref_detail |
Helper to prevent OptionalRef's to rvalue types. | |
namespace | pars |
namespace | parser |
Contains all file parsers and helper classes. | |
namespace | pomdp |
namespace | prism |
namespace | ps |
namespace | settings |
namespace | simulator |
namespace | solver |
namespace | storage |
namespace | test |
namespace | transformer |
namespace | utility |
Classes | |
class | EigenSolverEnvironment |
class | Environment |
class | GameSolverEnvironment |
class | GmmxxSolverEnvironment |
struct | InternalEnvironment |
class | LongRunAverageSolverEnvironment |
class | MinMaxLpSolverEnvironment |
class | MinMaxSolverEnvironment |
class | ModelCheckerEnvironment |
class | MultiObjectiveModelCheckerEnvironment |
class | MultiplierEnvironment |
class | NativeSolverEnvironment |
struct | NullRefType |
Auxiliary struct used to identify OptionalRefs that do not contain a reference. More... | |
struct | NumberTraits |
struct | NumberTraits< double > |
struct | NumberTraits< storm::RationalFunction > |
class | OptionalRef |
Helper class that optionally holds a reference to an object of type T. More... | |
class | OviSolverEnvironment |
class | SolverEnvironment |
struct | StormVersion |
class | SubEnvironment |
class | TimeBoundedSolverEnvironment |
class | TopologicalSolverEnvironment |
Typedefs | |
template<typename ValueType > | |
using | json = nlohmann::basic_json< std::map, std::vector, std::string, bool, int64_t, uint64_t, ValueType > |
typedef carl::Cache< carl::PolynomialFactorizationPair< RawPolynomial > > | RawPolynomialCache |
typedef carl::Relation | CompareRelation |
typedef carl::Variable | RationalFunctionVariable |
typedef carl::MultivariatePolynomial< RationalFunctionCoefficient > | RawPolynomial |
typedef carl::FactorizedPolynomial< RawPolynomial > | Polynomial |
typedef carl::RationalFunction< Polynomial, true > | RationalFunction |
typedef carl::Interval< double > | Interval |
using | OptimizationDirection = solver::OptimizationDirection |
Enumerations | |
enum class | SteadyStateDistributionAlgorithm { Automatic , EquationSystem , ExpectedVisitingTimes , Classic } |
Functions | |
template<typename ValueType > | |
bool | isJsonNumberExportAccurate (storm::json< ValueType > const &j) |
template<typename ValueType , typename CallBack > | |
void | json_for_each_number_float (storm::json< ValueType > const &j, CallBack const &f) |
template<typename ValueType > | |
void | warnIfJsonExportNotAccurate (storm::json< ValueType > const &j) |
template<typename ValueType > | |
std::string | dumpJson (storm::json< ValueType > const &j, bool compact=false) |
Dumps the given json object, producing a String. | |
template std::string | dumpJson (storm::json< double > const &j, bool compact=false) |
template std::string | dumpJson (storm::json< storm::RationalNumber > const &j, bool compact=false) |
RationalFunctionVariable | createRFVariable (std::string const &name) |
template<class T > | |
OptionalRef (T &) -> OptionalRef< T > | |
deduction guides | |
Variables | |
constexpr NullRefType | NullRef {0} |
LabParser.cpp.
Created on: 21.11.2012 Author: Gereon Kremer
typedef carl::Relation storm::CompareRelation |
Definition at line 45 of file RationalFunctionAdapter_Private.h.
typedef carl::Interval<double> storm::Interval |
Definition at line 33 of file RationalNumberForward.h.
using storm::json = typedef nlohmann::basic_json<std::map, std::vector, std::string, bool, int64_t, uint64_t, ValueType> |
Definition at line 10 of file JsonForward.h.
using storm::OptimizationDirection = typedef solver::OptimizationDirection |
Definition at line 30 of file OptimizationDirection.h.
Definition at line 48 of file RationalFunctionForward.h.
typedef carl::RationalFunction<Polynomial, true> storm::RationalFunction |
Definition at line 50 of file RationalFunctionForward.h.
typedef carl::Variable storm::RationalFunctionVariable |
Definition at line 35 of file RationalFunctionForward.h.
typedef carl::MultivariatePolynomial<RationalFunctionCoefficient> storm::RawPolynomial |
Definition at line 47 of file RationalFunctionForward.h.
typedef carl::Cache<carl::PolynomialFactorizationPair<RawPolynomial> > storm::RawPolynomialCache |
Definition at line 44 of file RationalFunctionAdapter_Private.h.
|
strong |
Enumerator | |
---|---|
Automatic | |
EquationSystem | |
ExpectedVisitingTimes | |
Classic |
Definition at line 4 of file SteadyStateDistributionAlgorithm.h.
RationalFunctionVariable storm::createRFVariable | ( | std::string const & | name | ) |
Definition at line 4 of file RationalFunctionAdapter.cpp.
template std::string storm::dumpJson | ( | storm::json< double > const & | j, |
bool | compact = false |
||
) |
template std::string storm::dumpJson | ( | storm::json< storm::RationalNumber > const & | j, |
bool | compact = false |
||
) |
std::string storm::dumpJson | ( | storm::json< ValueType > const & | j, |
bool | compact = false |
||
) |
Dumps the given json object, producing a String.
If the ValueType is exact, a warning is printed if one or more number values can not be exported (dumped) with full accuracy (e.g. there is no float for 1/3)
j | The JSON object |
compact | indicates whether the export should be done in compact mode (no unnecessary whitespace) |
Definition at line 60 of file JsonAdapter.cpp.
bool storm::isJsonNumberExportAccurate | ( | storm::json< ValueType > const & | j | ) |
j | json object, must be of float type |
Definition at line 12 of file JsonAdapter.cpp.
void storm::json_for_each_number_float | ( | storm::json< ValueType > const & | j, |
CallBack const & | f | ||
) |
Definition at line 32 of file JsonAdapter.cpp.
storm::OptionalRef | ( | T & | ) | -> OptionalRef< T > |
deduction guides
void storm::warnIfJsonExportNotAccurate | ( | storm::json< ValueType > const & | j | ) |
Definition at line 43 of file JsonAdapter.cpp.
|
inlineconstexpr |
Definition at line 31 of file OptionalRef.h.