accept(FormulaVisitor const &visitor, boost::any const &data) const override | storm::logic::ConditionalFormula | virtual |
storm::logic::Formula::accept(FormulaVisitor const &visitor) const | storm::logic::Formula | |
asAtomicExpressionFormula() | storm::logic::Formula | |
asAtomicExpressionFormula() const | storm::logic::Formula | |
asAtomicLabelFormula() | storm::logic::Formula | |
asAtomicLabelFormula() const | storm::logic::Formula | |
asBinaryBooleanStateFormula() | storm::logic::Formula | |
asBinaryBooleanStateFormula() const | storm::logic::Formula | |
asBinaryPathFormula() | storm::logic::Formula | |
asBinaryPathFormula() const | storm::logic::Formula | |
asBinaryStateFormula() | storm::logic::Formula | |
asBinaryStateFormula() const | storm::logic::Formula | |
asBooleanLiteralFormula() | storm::logic::Formula | |
asBooleanLiteralFormula() const | storm::logic::Formula | |
asBoundedUntilFormula() | storm::logic::Formula | |
asBoundedUntilFormula() const | storm::logic::Formula | |
asConditionalFormula() | storm::logic::Formula | |
asConditionalFormula() const | storm::logic::Formula | |
asCumulativeRewardFormula() | storm::logic::Formula | |
asCumulativeRewardFormula() const | storm::logic::Formula | |
asEventuallyFormula() | storm::logic::Formula | |
asEventuallyFormula() const | storm::logic::Formula | |
asGameFormula() | storm::logic::Formula | |
asGameFormula() const | storm::logic::Formula | |
asGloballyFormula() | storm::logic::Formula | |
asGloballyFormula() const | storm::logic::Formula | |
asHOAPathFormula() | storm::logic::Formula | |
asHOAPathFormula() const | storm::logic::Formula | |
asInstantaneousRewardFormula() | storm::logic::Formula | |
asInstantaneousRewardFormula() const | storm::logic::Formula | |
asLongRunAverageOperatorFormula() | storm::logic::Formula | |
asLongRunAverageOperatorFormula() const | storm::logic::Formula | |
asLongRunAverageRewardFormula() | storm::logic::Formula | |
asLongRunAverageRewardFormula() const | storm::logic::Formula | |
asMultiObjectiveFormula() | storm::logic::Formula | |
asMultiObjectiveFormula() const | storm::logic::Formula | |
asNextFormula() | storm::logic::Formula | |
asNextFormula() const | storm::logic::Formula | |
asOperatorFormula() | storm::logic::Formula | |
asOperatorFormula() const | storm::logic::Formula | |
asPathFormula() | storm::logic::Formula | |
asPathFormula() const | storm::logic::Formula | |
asProbabilityOperatorFormula() | storm::logic::Formula | |
asProbabilityOperatorFormula() const | storm::logic::Formula | |
asQuantileFormula() | storm::logic::Formula | |
asQuantileFormula() const | storm::logic::Formula | |
asReachabilityProbabilityFormula() | storm::logic::Formula | |
asReachabilityProbabilityFormula() const | storm::logic::Formula | |
asReachabilityRewardFormula() | storm::logic::Formula | |
asReachabilityRewardFormula() const | storm::logic::Formula | |
asReachabilityTimeFormula() | storm::logic::Formula | |
asReachabilityTimeFormula() const | storm::logic::Formula | |
asRewardOperatorFormula() | storm::logic::Formula | |
asRewardOperatorFormula() const | storm::logic::Formula | |
asSharedPointer() | storm::logic::Formula | |
asSharedPointer() const | storm::logic::Formula | |
asStateFormula() | storm::logic::Formula | |
asStateFormula() const | storm::logic::Formula | |
asTimeOperatorFormula() | storm::logic::Formula | |
asTimeOperatorFormula() const | storm::logic::Formula | |
asTotalRewardFormula() | storm::logic::Formula | |
asTotalRewardFormula() const | storm::logic::Formula | |
asUnaryBooleanStateFormula() | storm::logic::Formula | |
asUnaryBooleanStateFormula() const | storm::logic::Formula | |
asUnaryPathFormula() | storm::logic::Formula | |
asUnaryPathFormula() const | storm::logic::Formula | |
asUnaryStateFormula() | storm::logic::Formula | |
asUnaryStateFormula() const | storm::logic::Formula | |
asUntilFormula() | storm::logic::Formula | |
asUntilFormula() const | storm::logic::Formula | |
clone() const | storm::logic::Formula | |
ConditionalFormula(std::shared_ptr< Formula const > const &subformula, std::shared_ptr< Formula const > const &conditionFormula, FormulaContext context=FormulaContext::Probability) | storm::logic::ConditionalFormula | |
gatherAtomicExpressionFormulas(std::vector< std::shared_ptr< AtomicExpressionFormula const > > &atomicExpressionFormulas) const override | storm::logic::ConditionalFormula | virtual |
gatherAtomicLabelFormulas(std::vector< std::shared_ptr< AtomicLabelFormula const > > &atomicLabelFormulas) const override | storm::logic::ConditionalFormula | virtual |
gatherReferencedRewardModels(std::set< std::string > &referencedRewardModels) const override | storm::logic::ConditionalFormula | virtual |
gatherUsedVariables(std::set< storm::expressions::Variable > &usedVariables) const override | storm::logic::ConditionalFormula | virtual |
getAtomicExpressionFormulas() const | storm::logic::Formula | |
getAtomicLabelFormulas() const | storm::logic::Formula | |
getConditionFormula() const | storm::logic::ConditionalFormula | |
getContext() const | storm::logic::ConditionalFormula | |
getReferencedRewardModels() const | storm::logic::Formula | |
getSubformula() const | storm::logic::ConditionalFormula | |
getTrueFormula() | storm::logic::Formula | static |
getUsedVariables() const | storm::logic::Formula | |
hasQualitativeResult() const override | storm::logic::ConditionalFormula | virtual |
hasQuantitativeResult() const override | storm::logic::ConditionalFormula | virtual |
info(bool recurseIntoOperators=true) const | storm::logic::Formula | |
isAtomicExpressionFormula() const | storm::logic::Formula | virtual |
isAtomicLabelFormula() const | storm::logic::Formula | virtual |
isBinaryBooleanPathFormula() const | storm::logic::Formula | virtual |
isBinaryBooleanStateFormula() const | storm::logic::Formula | virtual |
isBinaryPathFormula() const | storm::logic::Formula | virtual |
isBinaryStateFormula() const | storm::logic::Formula | virtual |
isBooleanLiteralFormula() const | storm::logic::Formula | virtual |
isBoundedUntilFormula() const | storm::logic::Formula | virtual |
isConditionalProbabilityFormula() const override | storm::logic::ConditionalFormula | virtual |
isConditionalRewardFormula() const override | storm::logic::ConditionalFormula | virtual |
isCumulativeRewardFormula() const | storm::logic::Formula | virtual |
isEventuallyFormula() const | storm::logic::Formula | virtual |
isFalseFormula() const | storm::logic::Formula | virtual |
isGameFormula() const | storm::logic::Formula | virtual |
isGloballyFormula() const | storm::logic::Formula | virtual |
isHOAPathFormula() const | storm::logic::Formula | virtual |
isInFragment(FragmentSpecification const &fragment) const | storm::logic::Formula | |
isInitialFormula() const | storm::logic::Formula | |
isInstantaneousRewardFormula() const | storm::logic::Formula | virtual |
isLongRunAverageOperatorFormula() const | storm::logic::Formula | virtual |
isLongRunAverageRewardFormula() const | storm::logic::Formula | virtual |
isMultiObjectiveFormula() const | storm::logic::Formula | virtual |
isNextFormula() const | storm::logic::Formula | virtual |
isOperatorFormula() const | storm::logic::Formula | virtual |
isPathFormula() const | storm::logic::Formula | virtual |
isProbabilityOperatorFormula() const | storm::logic::Formula | virtual |
isProbabilityPathFormula() const | storm::logic::Formula | virtual |
isQuantileFormula() const | storm::logic::Formula | virtual |
isReachabilityProbabilityFormula() const | storm::logic::Formula | virtual |
isReachabilityRewardFormula() const | storm::logic::Formula | virtual |
isReachabilityTimeFormula() const | storm::logic::Formula | virtual |
isRewardOperatorFormula() const | storm::logic::Formula | virtual |
isRewardPathFormula() const | storm::logic::Formula | virtual |
isStateFormula() const | storm::logic::Formula | virtual |
isTimeOperatorFormula() const | storm::logic::Formula | virtual |
isTimePathFormula() const | storm::logic::Formula | virtual |
isTotalRewardFormula() const | storm::logic::Formula | virtual |
isTrueFormula() const | storm::logic::Formula | virtual |
isUnaryBooleanPathFormula() const | storm::logic::Formula | virtual |
isUnaryBooleanStateFormula() const | storm::logic::Formula | virtual |
isUnaryFormula() const | storm::logic::Formula | |
isUnaryPathFormula() const | storm::logic::Formula | virtual |
isUnaryStateFormula() const | storm::logic::Formula | virtual |
isUntilFormula() const | storm::logic::Formula | virtual |
substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const | storm::logic::Formula | |
substitute(std::function< storm::expressions::Expression(storm::expressions::Expression const &)> const &expressionSubstitution) const | storm::logic::Formula | |
substitute(std::map< std::string, storm::expressions::Expression > const &labelSubstitution) const | storm::logic::Formula | |
substitute(std::map< std::string, std::string > const &labelSubstitution) const | storm::logic::Formula | |
substituteRewardModelNames(std::map< std::string, std::string > const &rewardModelNameSubstitution) const | storm::logic::Formula | |
substituteTranscendentalNumbers() const | storm::logic::Formula | |
toExpression(storm::expressions::ExpressionManager const &manager, std::map< std::string, storm::expressions::Expression > const &labelToExpressionMapping={}) const | storm::logic::Formula | |
toPrefixString() const | storm::logic::Formula | |
toString() const | storm::logic::Formula | |
writeToStream(std::ostream &out, bool allowParentheses=false) const override | storm::logic::ConditionalFormula | virtual |
~ConditionalFormula() | storm::logic::ConditionalFormula | inlinevirtual |
~Formula() | storm::logic::Formula | inlinevirtual |