sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

MinMaxSolverEnvironment: Removed unused method declarations.

tempestpy_adaptions
Tim Quatmann 6 years ago
parent
ca9102616b
commit
3714fc3bf2
1 changed files with 0 additions and 3 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 3
      src/storm/environment/solver/MinMaxSolverEnvironment.h

3
src/storm/environment/solver/MinMaxSolverEnvironment.h
View File

@ -25,8 +25,6 @@ namespace storm {
void setRelativeTerminationCriterion(bool value); void setRelativeTerminationCriterion(bool value);
storm::solver::MultiplicationStyle const& getMultiplicationStyle() const; storm::solver::MultiplicationStyle const& getMultiplicationStyle() const;
void setMultiplicationStyle(storm::solver::MultiplicationStyle value); void setMultiplicationStyle(storm::solver::MultiplicationStyle value);
bool isForceBoundsSet() const;
void setForceBounds(bool value);
bool isSymmetricUpdatesSet() const; bool isSymmetricUpdatesSet() const;
void setSymmetricUpdates(bool value); void setSymmetricUpdates(bool value);
@ -37,7 +35,6 @@ namespace storm {
storm::RationalNumber precision; storm::RationalNumber precision;
bool considerRelativeTerminationCriterion; bool considerRelativeTerminationCriterion;
storm::solver::MultiplicationStyle multiplicationStyle; storm::solver::MultiplicationStyle multiplicationStyle;
bool forceBounds;
bool symmetricUpdates; bool symmetricUpdates;
}; };
} }

Write Preview
Loading…
Cancel
Save