storm::analysis::QualitativeAnalysisOnGraphs< ValueType > Class Template Reference

#include <QualitativeAnalysisOnGraphs.h>

Public Member Functions
	QualitativeAnalysisOnGraphs (storm::models::sparse::Pomdp< ValueType > const &pomdp)
storm::storage::BitVector	analyseProb0 (storm::logic::ProbabilityOperatorFormula const &formula) const
storm::storage::BitVector	analyseProb1 (storm::logic::ProbabilityOperatorFormula const &formula) const
storm::storage::BitVector	analyseProbSmaller1 (storm::logic::ProbabilityOperatorFormula const &formula) const
storm::storage::BitVector	analyseProb1Max (storm::storage::BitVector const &okay, storm::storage::BitVector const &target) const

Detailed Description

template<typename ValueType>
class storm::analysis::QualitativeAnalysisOnGraphs< ValueType >

Definition at line 7 of file QualitativeAnalysisOnGraphs.h.

Constructor & Destructor Documentation

QualitativeAnalysisOnGraphs()

template<typename ValueType >

storm::analysis::QualitativeAnalysisOnGraphs< ValueType >::QualitativeAnalysisOnGraphs

(

storm::models::sparse::Pomdp< ValueType > const &

pomdp

)

Definition at line 18 of file QualitativeAnalysisOnGraphs.cpp.

Member Function Documentation

analyseProb0()

template<typename ValueType >

storm::storage::BitVector storm::analysis::QualitativeAnalysisOnGraphs< ValueType >::analyseProb0

(

storm::logic::ProbabilityOperatorFormula const &

formula

)

const

Definition at line 23 of file QualitativeAnalysisOnGraphs.cpp.

analyseProb1()

template<typename ValueType >

storm::storage::BitVector storm::analysis::QualitativeAnalysisOnGraphs< ValueType >::analyseProb1

(

storm::logic::ProbabilityOperatorFormula const &

formula

)

const

Definition at line 28 of file QualitativeAnalysisOnGraphs.cpp.

analyseProb1Max()

template<typename ValueType >

storm::storage::BitVector storm::analysis::QualitativeAnalysisOnGraphs< ValueType >::analyseProb1Max	(	storm::storage::BitVector const &	okay,
		storm::storage::BitVector const &	target
	)		const

Definition at line 96 of file QualitativeAnalysisOnGraphs.cpp.

analyseProbSmaller1()

template<typename ValueType >

storm::storage::BitVector storm::analysis::QualitativeAnalysisOnGraphs< ValueType >::analyseProbSmaller1

(

storm::logic::ProbabilityOperatorFormula const &

formula

)

const

Definition at line 33 of file QualitativeAnalysisOnGraphs.cpp.

---

The documentation for this class was generated from the following files:

• src/storm-pomdp/analysis/QualitativeAnalysisOnGraphs.h
• src/storm-pomdp/analysis/QualitativeAnalysisOnGraphs.cpp