| 170 | } |
| 171 | |
| 172 | SnCDivideStrategy Options::getSnCDivideStrategy() const |
| 173 | { |
| 174 | String strategyString = String( _stringOptions.get( Options::SNC_SPLITTING_STRATEGY ) ); |
| 175 | if ( strategyString == "polarity" ) |
| 176 | return SnCDivideStrategy::Polarity; |
| 177 | else if ( strategyString == "largest-interval" ) |
| 178 | return SnCDivideStrategy::LargestInterval; |
| 179 | else |
| 180 | return SnCDivideStrategy::Auto; |
| 181 | } |
| 182 | |
| 183 | SymbolicBoundTighteningType Options::getSymbolicBoundTighteningType() const |
| 184 | { |
no test coverage detected