Browse Source

As the builder options now occur in the API, we should improve their documentation.

tempestpy_adaptions
sjunges 7 years ago
parent
commit
98d124bd06
  1. 51
      src/storm/builder/BuilderOptions.h

51
src/storm/builder/BuilderOptions.h

@ -81,9 +81,21 @@ namespace storm {
* model.
*/
void setTerminalStatesFromFormula(storm::logic::Formula const& formula);
/*!
* Which reward models are built
* @return
*/
std::vector<std::string> const& getRewardModelNames() const;
/*!
* Which labels are built
* @return
*/
std::set<std::string> const& getLabelNames() const;
/*!
* Which expression labels are built
* @return
*/
std::vector<storm::expressions::Expression> const& getExpressionLabels() const;
std::vector<std::pair<LabelOrExpression, bool>> const& getTerminalStates() const;
bool hasTerminalStates() const;
@ -96,17 +108,52 @@ namespace storm {
bool isExplorationChecksSet() const;
bool isExplorationShowProgressSet() const;
uint64_t getExplorationShowProgressDelay() const;
/**
* Should all reward models be built? If not set, only required reward models are build.
* @param newValue The new value (default true)
* @return this
*/
BuilderOptions& setBuildAllRewardModels(bool newValue = true);
/**
* Add an additional reward model to build
* @param newValue The name of the extra reward model
* @return this
*/
BuilderOptions& addRewardModel(std::string const& rewardModelName);
/**
* Should all reward models be built? If not set, only required reward models are build.
* @param newValue The new value (default true)
* @return this
*/
BuilderOptions& setBuildAllLabels(bool newValue = true);
BuilderOptions& addLabel(storm::expressions::Expression const& expression);
BuilderOptions& addLabel(std::string const& labelName);
BuilderOptions& addTerminalExpression(storm::expressions::Expression const& expression, bool value);
BuilderOptions& addTerminalLabel(std::string const& label, bool value);
/**
* Should the choice labels be built?
* @param newValue The new value (default true)
* @return this
*/
BuilderOptions& setBuildChoiceLabels(bool newValue = true);
/**
* Should the state valuation mapping be built?
* @param newValue The new value (default true)
* @return this
*/
BuilderOptions& setBuildStateValuations(bool newValue = true);
/**
* Should the origins the different choices be built?
* @param newValue The new value (default true)
* @return this
*/
BuilderOptions& setBuildChoiceOrigins(bool newValue = true);
/**
* Should extra checks be performed during exploration
* @param newValue The new value (default true)
* @return this
*/
BuilderOptions& setExplorationChecks(bool newValue = true);
private:

Loading…
Cancel
Save