Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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