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

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

accept(FormulaVisitor const &visitor) conststorm::logic::Formula
accept(FormulaVisitor const &visitor, boost::any const &data) const =0storm::logic::Formulapure virtual
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
BinaryStateFormula(std::shared_ptr< Formula const > const &leftSubformula, std::shared_ptr< Formula const > const &rightSubformula)storm::logic::BinaryStateFormula
clone() conststorm::logic::Formula
gatherAtomicExpressionFormulas(std::vector< std::shared_ptr< AtomicExpressionFormula const > > &atomicExpressionFormulas) const overridestorm::logic::BinaryStateFormulavirtual
gatherAtomicLabelFormulas(std::vector< std::shared_ptr< AtomicLabelFormula const > > &atomicLabelFormulas) const overridestorm::logic::BinaryStateFormulavirtual
gatherReferencedRewardModels(std::set< std::string > &referencedRewardModels) const overridestorm::logic::BinaryStateFormulavirtual
gatherUsedVariables(std::set< storm::expressions::Variable > &usedVariables) const overridestorm::logic::BinaryStateFormulavirtual
getAtomicExpressionFormulas() conststorm::logic::Formula
getAtomicLabelFormulas() conststorm::logic::Formula
getLeftSubformula() conststorm::logic::BinaryStateFormula
getReferencedRewardModels() conststorm::logic::Formula
getRightSubformula() conststorm::logic::BinaryStateFormula
getTrueFormula()storm::logic::Formulastatic
getUsedVariables() conststorm::logic::Formula
hasQualitativeResult() conststorm::logic::Formulavirtual
hasQuantitativeResult() conststorm::logic::Formulavirtual
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() const overridestorm::logic::BinaryStateFormulavirtual
isBooleanLiteralFormula() conststorm::logic::Formulavirtual
isBoundedUntilFormula() conststorm::logic::Formulavirtual
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
isMultiObjectiveFormula() conststorm::logic::Formulavirtual
isNextFormula() conststorm::logic::Formulavirtual
isOperatorFormula() conststorm::logic::Formulavirtual
isPathFormula() conststorm::logic::Formulavirtual
isProbabilityOperatorFormula() conststorm::logic::Formulavirtual
isProbabilityPathFormula() const overridestorm::logic::StateFormulavirtual
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() const overridestorm::logic::StateFormulavirtual
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
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 =0storm::logic::Formulapure virtual
~BinaryStateFormula()storm::logic::BinaryStateFormulainlinevirtual
~Formula()storm::logic::Formulainlinevirtual
~StateFormula()storm::logic::StateFormulainlinevirtual