Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SolverSelectionOptions.cpp
Go to the documentation of this file.
2
3namespace storm {
4namespace solver {
5std::string toString(MinMaxMethod m) {
6 switch (m) {
7 case MinMaxMethod::PolicyIteration:
8 return "policy";
9 case MinMaxMethod::ValueIteration:
10 return "value";
11 case MinMaxMethod::LinearProgramming:
12 return "linearprogramming";
13 case MinMaxMethod::Topological:
14 return "topological";
15 case MinMaxMethod::RationalSearch:
16 return "ratsearch";
17 case MinMaxMethod::IntervalIteration:
18 return "intervaliteration";
19 case MinMaxMethod::SoundValueIteration:
20 return "soundvalueiteration";
21 case MinMaxMethod::OptimisticValueIteration:
22 return "optimisticvalueiteration";
23 case MinMaxMethod::GuessingValueIteration:
24 return "guessingvalueiteration";
25 case MinMaxMethod::ViToPi:
26 return "vi-to-pi";
27 case MinMaxMethod::ViToLp:
28 return "vi-to-lp";
29 case MinMaxMethod::Acyclic:
30 return "vi-to-pi";
31 }
32 return "invalid";
33}
34
35std::string toString(MultiplierType t) {
36 switch (t) {
37 case MultiplierType::Native:
38 return "Native";
39 case MultiplierType::ViOperator:
40 return "ViOperator";
41 }
42 return "invalid";
43}
44
45std::string toString(GameMethod m) {
46 switch (m) {
47 case GameMethod::ValueIteration:
48 return "valueiteration";
49 case GameMethod::PolicyIteration:
50 return "PolicyIteration";
51 }
52 return "invalid";
53}
54
55std::string toString(LraMethod m) {
56 switch (m) {
57 case LraMethod::LinearProgramming:
58 return "linear-programming";
59 case LraMethod::ValueIteration:
60 return "value-iteration";
61 case LraMethod::LraDistributionEquations:
62 return "lra-distribution-equations";
63 case LraMethod::GainBiasEquations:
64 return "gain-bias-equations";
65 }
66 return "invalid";
67}
68
69std::string toString(MaBoundedReachabilityMethod m) {
70 switch (m) {
71 case MaBoundedReachabilityMethod::Imca:
72 return "imca";
73 case MaBoundedReachabilityMethod::UnifPlus:
74 return "unifplus";
75 }
76 return "invalid";
77}
78
79std::string toString(LpSolverType t) {
80 switch (t) {
81 case LpSolverType::Gurobi:
82 return "Gurobi";
83 case LpSolverType::Glpk:
84 return "Glpk";
85 case LpSolverType::Z3:
86 return "Z3";
87 case LpSolverType::Soplex:
88 return "Soplex";
89 }
90 return "invalid";
91}
92
93std::string toString(EquationSolverType t) {
94 switch (t) {
95 case EquationSolverType::Native:
96 return "Native";
97 case EquationSolverType::Gmmxx:
98 return "Gmmxx";
99 case EquationSolverType::Eigen:
100 return "Eigen";
101 case EquationSolverType::Elimination:
102 return "Elimination";
103 case EquationSolverType::Topological:
104 return "Topological";
105 case EquationSolverType::Acyclic:
106 return "Acyclic";
107 }
108 return "invalid";
109}
110
111std::string toString(SmtSolverType t) {
112 switch (t) {
113 case SmtSolverType::Z3:
114 return "Z3";
115 case SmtSolverType::Mathsat:
116 return "Mathsat";
117 }
118 return "invalid";
119}
120
121std::string toString(NativeLinearEquationSolverMethod t) {
122 switch (t) {
123 case NativeLinearEquationSolverMethod::Jacobi:
124 return "Jacobi";
125 case NativeLinearEquationSolverMethod::GaussSeidel:
126 return "GaussSeidel";
127 case NativeLinearEquationSolverMethod::SOR:
128 return "SOR";
129 case NativeLinearEquationSolverMethod::WalkerChae:
130 return "WalkerChae";
131 case NativeLinearEquationSolverMethod::Power:
132 return "Power";
133 case NativeLinearEquationSolverMethod::SoundValueIteration:
134 return "SoundValueIteration";
135 case NativeLinearEquationSolverMethod::OptimisticValueIteration:
136 return "optimisticvalueiteration";
137 case NativeLinearEquationSolverMethod::GuessingValueIteration:
138 return "guessingvalueiteration";
139 case NativeLinearEquationSolverMethod::IntervalIteration:
140 return "IntervalIteration";
141 case NativeLinearEquationSolverMethod::RationalSearch:
142 return "RationalSearch";
143 }
144 return "invalid";
145}
146
147std::string toString(GmmxxLinearEquationSolverMethod t) {
148 switch (t) {
149 case GmmxxLinearEquationSolverMethod::Bicgstab:
150 return "BiCGSTAB";
151 case GmmxxLinearEquationSolverMethod::Qmr:
152 return "QMR";
153 case GmmxxLinearEquationSolverMethod::Gmres:
154 return "GMRES";
155 }
156 return "invalid";
157}
158
159std::string toString(GmmxxLinearEquationSolverPreconditioner t) {
160 switch (t) {
161 case GmmxxLinearEquationSolverPreconditioner::Diagonal:
162 return "diagonal";
163 case GmmxxLinearEquationSolverPreconditioner::Ilu:
164 return "ilu";
165 case GmmxxLinearEquationSolverPreconditioner::None:
166 return "none";
167 }
168 return "invalid";
169}
170
171std::string toString(EigenLinearEquationSolverMethod t) {
172 switch (t) {
173 case EigenLinearEquationSolverMethod::SparseLU:
174 return "SparseLU";
175 case EigenLinearEquationSolverMethod::Bicgstab:
176 return "BiCGSTAB";
177 case EigenLinearEquationSolverMethod::DGmres:
178 return "DGMRES";
179 case EigenLinearEquationSolverMethod::Gmres:
180 return "GMRES";
181 }
182 return "invalid";
183}
184
185std::string toString(EigenLinearEquationSolverPreconditioner t) {
186 switch (t) {
187 case EigenLinearEquationSolverPreconditioner::Diagonal:
188 return "diagonal";
189 case EigenLinearEquationSolverPreconditioner::Ilu:
190 return "ilu";
191 case EigenLinearEquationSolverPreconditioner::None:
192 return "none";
193 }
194 return "invalid";
195}
196} // namespace solver
197} // namespace storm
std::string toString(GurobiSolverMethod const &method)
Yields a string representation of the GurobiSolverMethod.
LabParser.cpp.
Definition cli.cpp:18