- Generated by
1.9.8
|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::modelchecker::SymbolicPropositionalModelChecker< ModelType >, including all inherited members.
| canHandle(CheckTask< storm::logic::Formula, ValueType > const &checkTask) const override | storm::modelchecker::SymbolicPropositionalModelChecker< ModelType > | virtual |
| storm::modelchecker::AbstractModelChecker::canHandle(CheckTask< storm::logic::Formula, SolutionType > const &checkTask) const =0 | storm::modelchecker::AbstractModelChecker< ModelType > | pure virtual |
| check(Environment const &env, CheckTask< storm::logic::Formula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| check(CheckTask< storm::logic::Formula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | |
| checkAtomicExpressionFormula(Environment const &env, CheckTask< storm::logic::AtomicExpressionFormula, ValueType > const &checkTask) override | storm::modelchecker::SymbolicPropositionalModelChecker< ModelType > | virtual |
| storm::modelchecker::AbstractModelChecker::checkAtomicExpressionFormula(Environment const &env, CheckTask< storm::logic::AtomicExpressionFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkAtomicLabelFormula(Environment const &env, CheckTask< storm::logic::AtomicLabelFormula, ValueType > const &checkTask) override | storm::modelchecker::SymbolicPropositionalModelChecker< ModelType > | virtual |
| storm::modelchecker::AbstractModelChecker::checkAtomicLabelFormula(Environment const &env, CheckTask< storm::logic::AtomicLabelFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkBinaryBooleanStateFormula(Environment const &env, CheckTask< storm::logic::BinaryBooleanStateFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkBooleanLiteralFormula(Environment const &env, CheckTask< storm::logic::BooleanLiteralFormula, ValueType > const &checkTask) override | storm::modelchecker::SymbolicPropositionalModelChecker< ModelType > | virtual |
| storm::modelchecker::AbstractModelChecker::checkBooleanLiteralFormula(Environment const &env, CheckTask< storm::logic::BooleanLiteralFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkGameFormula(Environment const &env, CheckTask< storm::logic::GameFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkLexObjectiveFormula(Environment const &env, CheckTask< storm::logic::MultiObjectiveFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkLongRunAverageOperatorFormula(Environment const &env, CheckTask< storm::logic::LongRunAverageOperatorFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkMultiObjectiveFormula(Environment const &env, CheckTask< storm::logic::MultiObjectiveFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkProbabilityOperatorFormula(Environment const &env, CheckTask< storm::logic::ProbabilityOperatorFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkQuantileFormula(Environment const &env, CheckTask< storm::logic::QuantileFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkRewardOperatorFormula(Environment const &env, CheckTask< storm::logic::RewardOperatorFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkStateFormula(Environment const &env, CheckTask< storm::logic::StateFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkTimeOperatorFormula(Environment const &env, CheckTask< storm::logic::TimeOperatorFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| checkUnaryBooleanStateFormula(Environment const &env, CheckTask< storm::logic::UnaryBooleanStateFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeBoundedUntilProbabilities(Environment const &env, CheckTask< storm::logic::BoundedUntilFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeConditionalProbabilities(Environment const &env, CheckTask< storm::logic::ConditionalFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeConditionalRewards(Environment const &env, CheckTask< storm::logic::ConditionalFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeCumulativeRewards(Environment const &env, CheckTask< storm::logic::CumulativeRewardFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeDiscountedCumulativeRewards(Environment const &env, CheckTask< storm::logic::DiscountedCumulativeRewardFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeDiscountedTotalRewards(Environment const &env, CheckTask< storm::logic::DiscountedTotalRewardFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeGloballyProbabilities(Environment const &env, CheckTask< storm::logic::GloballyFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeHOAPathProbabilities(Environment const &env, CheckTask< storm::logic::HOAPathFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeInstantaneousRewards(Environment const &env, CheckTask< storm::logic::InstantaneousRewardFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeLongRunAverageProbabilities(Environment const &env, CheckTask< storm::logic::StateFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeLongRunAverageRewards(Environment const &env, CheckTask< storm::logic::LongRunAverageRewardFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeLTLProbabilities(Environment const &env, CheckTask< storm::logic::PathFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeNextProbabilities(Environment const &env, CheckTask< storm::logic::NextFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeProbabilities(Environment const &env, CheckTask< storm::logic::Formula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeReachabilityProbabilities(Environment const &env, CheckTask< storm::logic::EventuallyFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeReachabilityRewards(Environment const &env, CheckTask< storm::logic::EventuallyFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeReachabilityTimes(Environment const &env, CheckTask< storm::logic::EventuallyFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeRewards(Environment const &env, CheckTask< storm::logic::Formula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeStateFormulaProbabilities(Environment const &env, CheckTask< storm::logic::Formula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | |
| computeTimes(Environment const &env, CheckTask< storm::logic::Formula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeTotalRewards(Environment const &env, CheckTask< storm::logic::TotalRewardFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| computeUntilProbabilities(Environment const &env, CheckTask< storm::logic::UntilFormula, SolutionType > const &checkTask) | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| DdType | storm::modelchecker::SymbolicPropositionalModelChecker< ModelType > | static |
| getClassName() const | storm::modelchecker::AbstractModelChecker< ModelType > | virtual |
| getModel() const | storm::modelchecker::SymbolicPropositionalModelChecker< ModelType > | protectedvirtual |
| SolutionType typedef | storm::modelchecker::AbstractModelChecker< ModelType > | |
| SymbolicPropositionalModelChecker(ModelType const &model) | storm::modelchecker::SymbolicPropositionalModelChecker< ModelType > | explicit |
| ValueType typedef | storm::modelchecker::SymbolicPropositionalModelChecker< ModelType > | |
| ~AbstractModelChecker() | storm::modelchecker::AbstractModelChecker< ModelType > | inlinevirtual |
1.9.8