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

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

accept(FormulaVisitor const &visitor, boost::any const &data) const overridestorm::logic::BoundedUntilFormulavirtual
storm::logic::PathFormula::accept(FormulaVisitor const &visitor) conststorm::logic::Formula
asAtomicExpressionFormula()storm::logic::Formula
asAtomicExpressionFormula() conststorm::logic::Formula
asAtomicLabelFormula()storm::logic::Formula
asAtomicLabelFormula() conststorm::logic::Formula
asBinaryBooleanStateFormula()storm::logic::Formula
asBinaryBooleanStateFormula() conststorm::logic::Formula
asBinaryPathFormula()storm::logic::Formula
asBinaryPathFormula() conststorm::logic::Formula
asBinaryStateFormula()storm::logic::Formula
asBinaryStateFormula() conststorm::logic::Formula
asBooleanLiteralFormula()storm::logic::Formula
asBooleanLiteralFormula() conststorm::logic::Formula
asBoundedUntilFormula()storm::logic::Formula
asBoundedUntilFormula() conststorm::logic::Formula
asConditionalFormula()storm::logic::Formula
asConditionalFormula() conststorm::logic::Formula
asCumulativeRewardFormula()storm::logic::Formula
asCumulativeRewardFormula() conststorm::logic::Formula
asEventuallyFormula()storm::logic::Formula
asEventuallyFormula() conststorm::logic::Formula
asGameFormula()storm::logic::Formula
asGameFormula() conststorm::logic::Formula
asGloballyFormula()storm::logic::Formula
asGloballyFormula() conststorm::logic::Formula
asHOAPathFormula()storm::logic::Formula
asHOAPathFormula() conststorm::logic::Formula
asInstantaneousRewardFormula()storm::logic::Formula
asInstantaneousRewardFormula() conststorm::logic::Formula
asLongRunAverageOperatorFormula()storm::logic::Formula
asLongRunAverageOperatorFormula() conststorm::logic::Formula
asLongRunAverageRewardFormula()storm::logic::Formula
asLongRunAverageRewardFormula() conststorm::logic::Formula
asMultiObjectiveFormula()storm::logic::Formula
asMultiObjectiveFormula() conststorm::logic::Formula
asNextFormula()storm::logic::Formula
asNextFormula() conststorm::logic::Formula
asOperatorFormula()storm::logic::Formula
asOperatorFormula() conststorm::logic::Formula
asPathFormula()storm::logic::Formula
asPathFormula() conststorm::logic::Formula
asProbabilityOperatorFormula()storm::logic::Formula
asProbabilityOperatorFormula() conststorm::logic::Formula
asQuantileFormula()storm::logic::Formula
asQuantileFormula() conststorm::logic::Formula
asReachabilityProbabilityFormula()storm::logic::Formula
asReachabilityProbabilityFormula() conststorm::logic::Formula
asReachabilityRewardFormula()storm::logic::Formula
asReachabilityRewardFormula() conststorm::logic::Formula
asReachabilityTimeFormula()storm::logic::Formula
asReachabilityTimeFormula() conststorm::logic::Formula
asRewardOperatorFormula()storm::logic::Formula
asRewardOperatorFormula() conststorm::logic::Formula
asSharedPointer()storm::logic::Formula
asSharedPointer() conststorm::logic::Formula
asStateFormula()storm::logic::Formula
asStateFormula() conststorm::logic::Formula
asTimeOperatorFormula()storm::logic::Formula
asTimeOperatorFormula() conststorm::logic::Formula
asTotalRewardFormula()storm::logic::Formula
asTotalRewardFormula() conststorm::logic::Formula
asUnaryBooleanStateFormula()storm::logic::Formula
asUnaryBooleanStateFormula() conststorm::logic::Formula
asUnaryPathFormula()storm::logic::Formula
asUnaryPathFormula() conststorm::logic::Formula
asUnaryStateFormula()storm::logic::Formula
asUnaryStateFormula() conststorm::logic::Formula
asUntilFormula()storm::logic::Formula
asUntilFormula() conststorm::logic::Formula
BoundedUntilFormula(std::shared_ptr< Formula const > const &leftSubformula, std::shared_ptr< Formula const > const &rightSubformula, boost::optional< TimeBound > const &lowerBound, boost::optional< TimeBound > const &upperBound, TimeBoundReference const &timeBoundReference)storm::logic::BoundedUntilFormula
BoundedUntilFormula(std::shared_ptr< Formula const > const &leftSubformula, std::shared_ptr< Formula const > const &rightSubformula, std::vector< boost::optional< TimeBound > > const &lowerBounds, std::vector< boost::optional< TimeBound > > const &upperBounds, std::vector< TimeBoundReference > const &timeBoundReferences)storm::logic::BoundedUntilFormula
BoundedUntilFormula(std::vector< std::shared_ptr< Formula const > > const &leftSubformulas, std::vector< std::shared_ptr< Formula const > > const &rightSubformulas, std::vector< boost::optional< TimeBound > > const &lowerBounds, std::vector< boost::optional< TimeBound > > const &upperBounds, std::vector< TimeBoundReference > const &timeBoundReferences)storm::logic::BoundedUntilFormula
clone() conststorm::logic::Formula
gatherAtomicExpressionFormulas(std::vector< std::shared_ptr< AtomicExpressionFormula const > > &atomicExpressionFormulas) const overridestorm::logic::BoundedUntilFormulavirtual
gatherAtomicLabelFormulas(std::vector< std::shared_ptr< AtomicLabelFormula const > > &atomicLabelFormulas) const overridestorm::logic::BoundedUntilFormulavirtual
gatherReferencedRewardModels(std::set< std::string > &referencedRewardModels) const overridestorm::logic::BoundedUntilFormulavirtual
gatherUsedVariables(std::set< storm::expressions::Variable > &usedVariables) const overridestorm::logic::BoundedUntilFormulavirtual
getAtomicExpressionFormulas() conststorm::logic::Formula
getAtomicLabelFormulas() conststorm::logic::Formula
getDimension() conststorm::logic::BoundedUntilFormula
getLeftSubformula() conststorm::logic::BoundedUntilFormula
getLeftSubformula(unsigned i) conststorm::logic::BoundedUntilFormula
getLowerBound(unsigned i=0) conststorm::logic::BoundedUntilFormula
getLowerBound(unsigned i=0) conststorm::logic::BoundedUntilFormula
getLowerBound(unsigned i) conststorm::logic::BoundedUntilFormula
getLowerBound(unsigned i) conststorm::logic::BoundedUntilFormula
getLowerBound(unsigned i) conststorm::logic::BoundedUntilFormula
getNonStrictLowerBound(unsigned i=0) conststorm::logic::BoundedUntilFormula
getNonStrictLowerBound(unsigned i) conststorm::logic::BoundedUntilFormula
getNonStrictLowerBound(unsigned i) conststorm::logic::BoundedUntilFormula
getNonStrictUpperBound(unsigned i=0) conststorm::logic::BoundedUntilFormula
getNonStrictUpperBound(unsigned i) conststorm::logic::BoundedUntilFormula
getNonStrictUpperBound(unsigned i) conststorm::logic::BoundedUntilFormula
getReferencedRewardModels() conststorm::logic::Formula
getRightSubformula() conststorm::logic::BoundedUntilFormula
getRightSubformula(unsigned i) conststorm::logic::BoundedUntilFormula
getTimeBoundReference(unsigned i=0) conststorm::logic::BoundedUntilFormula
getTrueFormula()storm::logic::Formulastatic
getUpperBound(unsigned i=0) conststorm::logic::BoundedUntilFormula
getUpperBound(unsigned i=0) conststorm::logic::BoundedUntilFormula
getUpperBound(unsigned i) conststorm::logic::BoundedUntilFormula
getUpperBound(unsigned i) conststorm::logic::BoundedUntilFormula
getUpperBound(unsigned i) conststorm::logic::BoundedUntilFormula
getUsedVariables() conststorm::logic::Formula
hasIntegerLowerBound(unsigned i=0) conststorm::logic::BoundedUntilFormula
hasIntegerUpperBound(unsigned i=0) conststorm::logic::BoundedUntilFormula
hasLowerBound() conststorm::logic::BoundedUntilFormula
hasLowerBound(unsigned i) conststorm::logic::BoundedUntilFormula
hasMultiDimensionalSubformulas() conststorm::logic::BoundedUntilFormula
hasQualitativeResult() const overridestorm::logic::BoundedUntilFormulavirtual
hasQuantitativeResult() const overridestorm::logic::BoundedUntilFormulavirtual
hasUpperBound() conststorm::logic::BoundedUntilFormula
hasUpperBound(unsigned i) conststorm::logic::BoundedUntilFormula
info(bool recurseIntoOperators=true) conststorm::logic::Formula
isAtomicExpressionFormula() conststorm::logic::Formulavirtual
isAtomicLabelFormula() conststorm::logic::Formulavirtual
isBinaryBooleanPathFormula() conststorm::logic::Formulavirtual
isBinaryBooleanStateFormula() conststorm::logic::Formulavirtual
isBinaryPathFormula() conststorm::logic::Formulavirtual
isBinaryStateFormula() conststorm::logic::Formulavirtual
isBooleanLiteralFormula() conststorm::logic::Formulavirtual
isBoundedUntilFormula() const overridestorm::logic::BoundedUntilFormulavirtual
isConditionalProbabilityFormula() conststorm::logic::Formulavirtual
isConditionalRewardFormula() conststorm::logic::Formulavirtual
isCumulativeRewardFormula() conststorm::logic::Formulavirtual
isEventuallyFormula() conststorm::logic::Formulavirtual
isFalseFormula() conststorm::logic::Formulavirtual
isGameFormula() conststorm::logic::Formulavirtual
isGloballyFormula() conststorm::logic::Formulavirtual
isHOAPathFormula() conststorm::logic::Formulavirtual
isInFragment(FragmentSpecification const &fragment) conststorm::logic::Formula
isInitialFormula() conststorm::logic::Formula
isInstantaneousRewardFormula() conststorm::logic::Formulavirtual
isLongRunAverageOperatorFormula() conststorm::logic::Formulavirtual
isLongRunAverageRewardFormula() conststorm::logic::Formulavirtual
isLowerBoundStrict(unsigned i=0) conststorm::logic::BoundedUntilFormula
isMultiDimensional() conststorm::logic::BoundedUntilFormula
isMultiObjectiveFormula() conststorm::logic::Formulavirtual
isNextFormula() conststorm::logic::Formulavirtual
isOperatorFormula() conststorm::logic::Formulavirtual
isPathFormula() const overridestorm::logic::PathFormulavirtual
isProbabilityOperatorFormula() conststorm::logic::Formulavirtual
isProbabilityPathFormula() const overridestorm::logic::BoundedUntilFormulavirtual
isQuantileFormula() conststorm::logic::Formulavirtual
isReachabilityProbabilityFormula() conststorm::logic::Formulavirtual
isReachabilityRewardFormula() conststorm::logic::Formulavirtual
isReachabilityTimeFormula() conststorm::logic::Formulavirtual
isRewardOperatorFormula() conststorm::logic::Formulavirtual
isRewardPathFormula() conststorm::logic::Formulavirtual
isStateFormula() conststorm::logic::Formulavirtual
isTimeOperatorFormula() conststorm::logic::Formulavirtual
isTimePathFormula() conststorm::logic::Formulavirtual
isTotalRewardFormula() conststorm::logic::Formulavirtual
isTrueFormula() conststorm::logic::Formulavirtual
isUnaryBooleanPathFormula() conststorm::logic::Formulavirtual
isUnaryBooleanStateFormula() conststorm::logic::Formulavirtual
isUnaryFormula() conststorm::logic::Formula
isUnaryPathFormula() conststorm::logic::Formulavirtual
isUnaryStateFormula() conststorm::logic::Formulavirtual
isUntilFormula() conststorm::logic::Formulavirtual
isUpperBoundStrict(unsigned i=0) conststorm::logic::BoundedUntilFormula
restrictToDimension(unsigned i) conststorm::logic::BoundedUntilFormula
substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) conststorm::logic::Formula
substitute(std::function< storm::expressions::Expression(storm::expressions::Expression const &)> const &expressionSubstitution) conststorm::logic::Formula
substitute(std::map< std::string, storm::expressions::Expression > const &labelSubstitution) conststorm::logic::Formula
substitute(std::map< std::string, std::string > const &labelSubstitution) conststorm::logic::Formula
substituteRewardModelNames(std::map< std::string, std::string > const &rewardModelNameSubstitution) conststorm::logic::Formula
substituteTranscendentalNumbers() conststorm::logic::Formula
toExpression(storm::expressions::ExpressionManager const &manager, std::map< std::string, storm::expressions::Expression > const &labelToExpressionMapping={}) conststorm::logic::Formula
toPrefixString() conststorm::logic::Formula
toString() conststorm::logic::Formula
writeToStream(std::ostream &out, bool allowParentheses=false) const overridestorm::logic::BoundedUntilFormulavirtual
~Formula()storm::logic::Formulainlinevirtual
~PathFormula()storm::logic::PathFormulainlinevirtual