Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::logic::FragmentSpecification Member List

This is the complete list of members for storm::logic::FragmentSpecification, including all inherited members.

areAtomicExpressionFormulasAllowed() conststorm::logic::FragmentSpecification
areAtomicLabelFormulasAllowed() conststorm::logic::FragmentSpecification
areBinaryBooleanPathFormulasAllowed() conststorm::logic::FragmentSpecification
areBinaryBooleanStateFormulasAllowed() conststorm::logic::FragmentSpecification
areBooleanLiteralFormulasAllowed() conststorm::logic::FragmentSpecification
areBoundedUntilFormulasAllowed() conststorm::logic::FragmentSpecification
areConditionalProbabilityFormulasAllowed() conststorm::logic::FragmentSpecification
areConditionalRewardFormulasFormulasAllowed() conststorm::logic::FragmentSpecification
areCumulativeRewardFormulasAllowed() conststorm::logic::FragmentSpecification
areGameFormulasAllowed() conststorm::logic::FragmentSpecification
areGloballyFormulasAllowed() conststorm::logic::FragmentSpecification
areHOAPathFormulasAllowed() conststorm::logic::FragmentSpecification
areInstantaneousRewardFormulasAllowed() conststorm::logic::FragmentSpecification
areLongRunAverageOperatorsAllowed() conststorm::logic::FragmentSpecification
areLongRunAverageRewardFormulasAllowed() conststorm::logic::FragmentSpecification
areMultiDimensionalBoundedUntilFormulasAllowed() conststorm::logic::FragmentSpecification
areMultiDimensionalCumulativeRewardFormulasAllowed() conststorm::logic::FragmentSpecification
areMultiObjectiveFormulasAllowed() conststorm::logic::FragmentSpecification
areNestedMultiObjectiveFormulasAllowed() conststorm::logic::FragmentSpecification
areNestedOperatorsAllowed() conststorm::logic::FragmentSpecification
areNestedOperatorsInsideMultiObjectiveFormulasAllowed() conststorm::logic::FragmentSpecification
areNestedPathFormulasAllowed() conststorm::logic::FragmentSpecification
areNextFormulasAllowed() conststorm::logic::FragmentSpecification
areOnlyEventuallyFormuluasInConditionalFormulasAllowed() conststorm::logic::FragmentSpecification
areOperatorsAtTopLevelOfMultiObjectiveFormulasRequired() conststorm::logic::FragmentSpecification
areProbabilityOperatorsAllowed() conststorm::logic::FragmentSpecification
areQualitativeOperatorResultsAllowed() conststorm::logic::FragmentSpecification
areQuantileFormulasAllowed() conststorm::logic::FragmentSpecification
areQuantitativeOperatorResultsAllowed() conststorm::logic::FragmentSpecification
areReachabilityProbabilityFormulasAllowed() conststorm::logic::FragmentSpecification
areReachabilityRewardFormulasAllowed() conststorm::logic::FragmentSpecification
areReachbilityTimeFormulasAllowed() conststorm::logic::FragmentSpecification
areRewardBoundedCumulativeRewardFormulasAllowed() conststorm::logic::FragmentSpecification
areRewardBoundedUntilFormulasAllowed() conststorm::logic::FragmentSpecification
areRewardOperatorsAllowed() conststorm::logic::FragmentSpecification
areStepBoundedCumulativeRewardFormulasAllowed() conststorm::logic::FragmentSpecification
areStepBoundedUntilFormulasAllowed() conststorm::logic::FragmentSpecification
areTimeBoundedCumulativeRewardFormulasAllowed() conststorm::logic::FragmentSpecification
areTimeBoundedUntilFormulasAllowed() conststorm::logic::FragmentSpecification
areTimeOperatorsAllowed() conststorm::logic::FragmentSpecification
areTotalRewardFormulasAllowed() conststorm::logic::FragmentSpecification
areUnaryBooleanPathFormulasAllowed() conststorm::logic::FragmentSpecification
areUnaryBooleanStateFormulasAllowed() conststorm::logic::FragmentSpecification
areUntilFormulasAllowed() conststorm::logic::FragmentSpecification
copy() conststorm::logic::FragmentSpecification
FragmentSpecification()storm::logic::FragmentSpecification
FragmentSpecification(FragmentSpecification const &other)=defaultstorm::logic::FragmentSpecification
FragmentSpecification(FragmentSpecification &&other)=defaultstorm::logic::FragmentSpecification
isMultiObjectiveFormulaAtTopLevelRequired() conststorm::logic::FragmentSpecification
isOperatorAtTopLevelRequired() conststorm::logic::FragmentSpecification
isQuantileFormulaAtTopLevelRequired() conststorm::logic::FragmentSpecification
isRewardAccumulationAllowed() conststorm::logic::FragmentSpecification
operator=(FragmentSpecification const &other)=defaultstorm::logic::FragmentSpecification
operator=(FragmentSpecification &&other)=defaultstorm::logic::FragmentSpecification
setAtomicExpressionFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setAtomicLabelFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setBinaryBooleanPathFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setBinaryBooleanStateFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setBooleanLiteralFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setBoundedUntilFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setConditionalProbabilityFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setConditionalRewardFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setCumulativeRewardFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setGameFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setGloballyFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setHOAPathFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setInstantaneousFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setLongRunAverageOperatorsAllowed(bool newValue)storm::logic::FragmentSpecification
setLongRunAverageProbabilitiesAllowed(bool newValue)storm::logic::FragmentSpecification
setLongRunAverageRewardFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setMultiDimensionalBoundedUntilFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setMultiDimensionalCumulativeRewardFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setMultiObjectiveFormulaAtTopLevelRequired(bool newValue)storm::logic::FragmentSpecification
setMultiObjectiveFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setNestedMultiObjectiveFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setNestedOperatorsAllowed(bool newValue)storm::logic::FragmentSpecification
setNestedOperatorsInsideMultiObjectiveFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setNestedPathFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setNextFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setOnlyEventuallyFormuluasInConditionalFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setOperatorAtTopLevelRequired(bool newValue)storm::logic::FragmentSpecification
setOperatorsAllowed(bool newValue)storm::logic::FragmentSpecification
setOperatorsAtTopLevelOfMultiObjectiveFormulasRequired(bool newValue)storm::logic::FragmentSpecification
setProbabilityOperatorsAllowed(bool newValue)storm::logic::FragmentSpecification
setQualitativeOperatorResultsAllowed(bool newValue)storm::logic::FragmentSpecification
setQuantileFormulaAtTopLevelRequired(bool newValue)storm::logic::FragmentSpecification
setQuantileFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setQuantitativeOperatorResultsAllowed(bool newValue)storm::logic::FragmentSpecification
setReachabilityProbabilityFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setReachabilityRewardFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setReachbilityTimeFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setRewardAccumulationAllowed(bool newValue)storm::logic::FragmentSpecification
setRewardBoundedCumulativeRewardFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setRewardBoundedUntilFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setRewardOperatorsAllowed(bool newValue)storm::logic::FragmentSpecification
setStepBoundedCumulativeRewardFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setStepBoundedUntilFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setTimeAllowed(bool newValue)storm::logic::FragmentSpecification
setTimeBoundedCumulativeRewardFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setTimeBoundedUntilFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setTimeOperatorsAllowed(bool newValue)storm::logic::FragmentSpecification
setTotalRewardFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setUnaryBooleanPathFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setUnaryBooleanStateFormulasAllowed(bool newValue)storm::logic::FragmentSpecification
setUntilFormulasAllowed(bool newValue)storm::logic::FragmentSpecification