Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::builder::BuilderOptions Member List

This is the complete list of members for storm::builder::BuilderOptions, including all inherited members.

addLabel(storm::expressions::Expression const &expression)storm::builder::BuilderOptions
addLabel(std::string const &labelName)storm::builder::BuilderOptions
addRewardModel(std::string const &rewardModelName)storm::builder::BuilderOptions
addTerminalExpression(storm::expressions::Expression const &expression, bool value)storm::builder::BuilderOptions
addTerminalLabel(std::string const &label, bool value)storm::builder::BuilderOptions
BuilderOptions(bool buildAllRewardModels=false, bool buildAllLabels=false)storm::builder::BuilderOptions
BuilderOptions(storm::logic::Formula const &formula, storm::storage::SymbolicModelDescription const &modelDescription=storm::storage::SymbolicModelDescription())storm::builder::BuilderOptions
BuilderOptions(std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas, storm::storage::SymbolicModelDescription const &modelDescription=storm::storage::SymbolicModelDescription())storm::builder::BuilderOptions
clearTerminalStates()storm::builder::BuilderOptions
getExpressionLabels() conststorm::builder::BuilderOptions
getLabelNames() conststorm::builder::BuilderOptions
getReservedBitsForUnboundedVariables() conststorm::builder::BuilderOptions
getRewardModelNames() conststorm::builder::BuilderOptions
getShowProgressDelay() conststorm::builder::BuilderOptions
getTerminalStates() conststorm::builder::BuilderOptions
hasTerminalStates() conststorm::builder::BuilderOptions
isAddOutOfBoundsStateSet() conststorm::builder::BuilderOptions
isAddOverlappingGuardLabelSet() conststorm::builder::BuilderOptions
isApplyMaximalProgressAssumptionSet() conststorm::builder::BuilderOptions
isBuildAllLabelsSet() conststorm::builder::BuilderOptions
isBuildAllRewardModelsSet() conststorm::builder::BuilderOptions
isBuildChoiceLabelsSet() conststorm::builder::BuilderOptions
isBuildChoiceOriginsSet() conststorm::builder::BuilderOptions
isBuildObservationValuationsSet() conststorm::builder::BuilderOptions
isBuildStateValuationsSet() conststorm::builder::BuilderOptions
isExplorationChecksSet() conststorm::builder::BuilderOptions
isInferObservationsFromActionsSet() conststorm::builder::BuilderOptions
isScaleAndLiftTransitionRewardsSet() conststorm::builder::BuilderOptions
isShowProgressSet() conststorm::builder::BuilderOptions
preserveFormula(storm::logic::Formula const &formula, storm::storage::SymbolicModelDescription const &modelDescription=storm::storage::SymbolicModelDescription())storm::builder::BuilderOptions
setAddOutOfBoundsState(bool newValue=true)storm::builder::BuilderOptions
setAddOverlappingGuardsLabel(bool newValue=true)storm::builder::BuilderOptions
setApplyMaximalProgressAssumption(bool newValue=true)storm::builder::BuilderOptions
setBuildAllLabels(bool newValue=true)storm::builder::BuilderOptions
setBuildAllRewardModels(bool newValue=true)storm::builder::BuilderOptions
setBuildChoiceLabels(bool newValue=true)storm::builder::BuilderOptions
setBuildChoiceOrigins(bool newValue=true)storm::builder::BuilderOptions
setBuildObservationValuations(bool newValue=true)storm::builder::BuilderOptions
setBuildStateValuations(bool newValue=true)storm::builder::BuilderOptions
setExplorationChecks(bool newValue=true)storm::builder::BuilderOptions
setInferObservationsFromActions(bool newValue=true)storm::builder::BuilderOptions
setReservedBitsForUnboundedVariables(uint64_t value)storm::builder::BuilderOptions
setScaleAndLiftTransitionRewards(bool newValue=true)storm::builder::BuilderOptions
setTerminalStatesFromFormula(storm::logic::Formula const &formula)storm::builder::BuilderOptions
substituteExpressions(std::function< storm::expressions::Expression(storm::expressions::Expression const &)> const &substitutionFunction)storm::builder::BuilderOptions