| 225 | } |
| 226 | |
| 227 | SoISearchStrategy Options::getSoISearchStrategy() const |
| 228 | { |
| 229 | String strategyString = String( _stringOptions.get( Options::SOI_SEARCH_STRATEGY ) ); |
| 230 | if ( strategyString == "mcmc" ) |
| 231 | return SoISearchStrategy::MCMC; |
| 232 | else if ( strategyString == "walksat" ) |
| 233 | return SoISearchStrategy::WALKSAT; |
| 234 | else |
| 235 | return SoISearchStrategy::MCMC; |
| 236 | } |
| 237 | |
| 238 | SoIInitializationStrategy Options::getSoIInitializationStrategy() const |
| 239 | { |
no test coverage detected