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

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

accept(FormulaVisitor const &visitor, boost::any const &data) const overridestorm::logic::EventuallyFormulavirtual
storm::logic::UnaryPathFormula::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
clone() conststorm::logic::Formula
EventuallyFormula(std::shared_ptr< Formula const > const &subformula, FormulaContext context=FormulaContext::Probability, boost::optional< RewardAccumulation > rewardAccumulation=boost::none)storm::logic::EventuallyFormula
gatherAtomicExpressionFormulas(std::vector< std::shared_ptr< AtomicExpressionFormula const > > &atomicExpressionFormulas) const overridestorm::logic::UnaryPathFormulavirtual
gatherAtomicLabelFormulas(std::vector< std::shared_ptr< AtomicLabelFormula const > > &atomicLabelFormulas) const overridestorm::logic::UnaryPathFormulavirtual
gatherReferencedRewardModels(std::set< std::string > &referencedRewardModels) const overridestorm::logic::UnaryPathFormulavirtual
gatherUsedVariables(std::set< storm::expressions::Variable > &usedVariables) const overridestorm::logic::UnaryPathFormulavirtual
getAtomicExpressionFormulas() conststorm::logic::Formula
getAtomicLabelFormulas() conststorm::logic::Formula
getContext() conststorm::logic::EventuallyFormula
getReferencedRewardModels() conststorm::logic::Formula
getRewardAccumulation() conststorm::logic::EventuallyFormula
getSubformula() conststorm::logic::UnaryPathFormula
getTrueFormula()storm::logic::Formulastatic
getUsedVariables() conststorm::logic::Formula
hasQualitativeResult() const overridestorm::logic::UnaryPathFormulavirtual
hasQuantitativeResult() const overridestorm::logic::UnaryPathFormulavirtual
hasRewardAccumulation() conststorm::logic::EventuallyFormula
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() conststorm::logic::Formulavirtual
isConditionalProbabilityFormula() conststorm::logic::Formulavirtual
isConditionalRewardFormula() conststorm::logic::Formulavirtual
isCumulativeRewardFormula() conststorm::logic::Formulavirtual
isEventuallyFormula() const overridestorm::logic::EventuallyFormulavirtual
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
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::EventuallyFormulavirtual
isQuantileFormula() conststorm::logic::Formulavirtual
isReachabilityProbabilityFormula() const overridestorm::logic::EventuallyFormulavirtual
isReachabilityRewardFormula() const overridestorm::logic::EventuallyFormulavirtual
isReachabilityTimeFormula() const overridestorm::logic::EventuallyFormulavirtual
isRewardOperatorFormula() conststorm::logic::Formulavirtual
isRewardPathFormula() const overridestorm::logic::EventuallyFormulavirtual
isStateFormula() conststorm::logic::Formulavirtual
isTimeOperatorFormula() conststorm::logic::Formulavirtual
isTimePathFormula() const overridestorm::logic::EventuallyFormulavirtual
isTotalRewardFormula() conststorm::logic::Formulavirtual
isTrueFormula() conststorm::logic::Formulavirtual
isUnaryBooleanPathFormula() conststorm::logic::Formulavirtual
isUnaryBooleanStateFormula() conststorm::logic::Formulavirtual
isUnaryFormula() conststorm::logic::Formula
isUnaryPathFormula() const overridestorm::logic::UnaryPathFormulavirtual
isUnaryStateFormula() conststorm::logic::Formulavirtual
isUntilFormula() conststorm::logic::Formulavirtual
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
UnaryPathFormula(std::shared_ptr< Formula const > const &subformula)storm::logic::UnaryPathFormula
writeToStream(std::ostream &out, bool allowParentheses=false) const overridestorm::logic::EventuallyFormulavirtual
~EventuallyFormula()storm::logic::EventuallyFormulainlinevirtual
~Formula()storm::logic::Formulainlinevirtual
~PathFormula()storm::logic::PathFormulainlinevirtual
~UnaryPathFormula()storm::logic::UnaryPathFormulainlinevirtual