Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
SolverSelectionOptions.h
Go to the documentation of this file.
1#ifndef SOLVERSELECTIONOPTIONS_H
2#define SOLVERSELECTIONOPTIONS_H
3
5
6namespace storm {
7namespace solver {
8ExtendEnumsWithSelectionField(MinMaxMethod, ValueIteration, PolicyIteration, LinearProgramming, Topological, RationalSearch, IntervalIteration,
9 SoundValueIteration, OptimisticValueIteration, ViToPi, ViToLp, Acyclic)
10 ExtendEnumsWithSelectionField(MultiplierType, Native, Gmmxx) ExtendEnumsWithSelectionField(GameMethod, PolicyIteration, ValueIteration)
12 ExtendEnumsWithSelectionField(MaBoundedReachabilityMethod, Imca, UnifPlus)
13
15 ExtendEnumsWithSelectionField(EquationSolverType, Native, Gmmxx, Eigen, Elimination, Topological, Acyclic)
16 ExtendEnumsWithSelectionField(SmtSolverType, Z3, Mathsat)
17
18 ExtendEnumsWithSelectionField(NativeLinearEquationSolverMethod, Jacobi, GaussSeidel, SOR, WalkerChae, Power, SoundValueIteration,
19 OptimisticValueIteration, IntervalIteration, RationalSearch)
20 ExtendEnumsWithSelectionField(GmmxxLinearEquationSolverMethod, Bicgstab, Qmr, Gmres)
21 ExtendEnumsWithSelectionField(GmmxxLinearEquationSolverPreconditioner, Ilu, Diagonal, None)
22 ExtendEnumsWithSelectionField(EigenLinearEquationSolverMethod, SparseLU, Bicgstab, DGmres, Gmres)
23 ExtendEnumsWithSelectionField(EigenLinearEquationSolverPreconditioner, Ilu, Diagonal, None)
24}
25} // namespace storm
26
27#endif
#define ExtendEnumsWithSelectionField(NAME,...)
Gmmxx LraDistributionEquations Z3
Gmmxx LraDistributionEquations Gurobi
Gmmxx LraDistributionEquations Soplex Mathsat Qmr
Gmmxx LraDistributionEquations Glpk
Gmmxx LraDistributionEquations Soplex Mathsat Gmres DGmres
Gmmxx LraDistributionEquations Soplex Mathsat Bicgstab
Gmmxx LraDistributionEquations Soplex Mathsat Gmres SparseLU
LabParser.cpp.
Definition cli.cpp:18