MinMaxLpSolverEnvironment.cpp

Go to the documentation of this file.

#include "storm/environment/solver/MinMaxLpSolverEnvironment.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/MinMaxEquationSolverSettings.h"
 
namespace storm {
 
MinMaxLpSolverEnvironment::MinMaxLpSolverEnvironment() {
    auto const& minMaxSettings = storm::settings::getModule<storm::settings::modules::MinMaxEquationSolverSettings>();
    useNonTrivialBounds = minMaxSettings.getLpUseNonTrivialBounds();
    optimizeOnlyForInitialState = minMaxSettings.getLpUseOnlyInitialStateAsObjective();
    useEqualityForSingleActions = minMaxSettings.getLpUseEqualityForTrivialActions();
}
 
void MinMaxLpSolverEnvironment::setUseEqualityForSingleActions(bool newValue) {
    useEqualityForSingleActions = newValue;
}
void MinMaxLpSolverEnvironment::setOptimizeOnlyForInitialState(bool newValue) {
    optimizeOnlyForInitialState = newValue;
}
void MinMaxLpSolverEnvironment::setUseNonTrivialBounds(bool newValue) {
    useNonTrivialBounds = newValue;
}
 
bool MinMaxLpSolverEnvironment::getUseEqualityForSingleActions() const {
    return useEqualityForSingleActions;
}
bool MinMaxLpSolverEnvironment::getOptimizeOnlyForInitialState() const {
    return optimizeOnlyForInitialState;
}
bool MinMaxLpSolverEnvironment::getUseNonTrivialBounds() const {
    return useNonTrivialBounds;
}
}  // namespace storm