BeliefExplorationAPITest< TestType > Class Template Reference

Inheritance diagram for BeliefExplorationAPITest< TestType >:

Collaboration diagram for BeliefExplorationAPITest< TestType >:

Classes
struct	Input

Public Types
typedef TestType::ValueType	ValueType

Public Member Functions
	BeliefExplorationAPITest ()
void	SetUp () override
storm::Environment const &	env () const
ValueType	parseNumber (std::string const &str)
Input	buildPrism (std::string const &programFile, std::string const &formulaAsString, std::string const &constantsAsString="") const
ValueType	precision () const
ValueType	modelcheckingPrecision () const

Detailed Description

template<typename TestType>
class BeliefExplorationAPITest< TestType >

Definition at line 31 of file BeliefExplorationAPITest.cpp.

Member Typedef Documentation

ValueType

template<typename TestType >

typedef TestType::ValueType BeliefExplorationAPITest< TestType >::ValueType

Definition at line 33 of file BeliefExplorationAPITest.cpp.

Constructor & Destructor Documentation

BeliefExplorationAPITest()

template<typename TestType >

BeliefExplorationAPITest< TestType >::BeliefExplorationAPITest ( )

inline

Definition at line 34 of file BeliefExplorationAPITest.cpp.

Member Function Documentation

buildPrism()

template<typename TestType >

Input BeliefExplorationAPITest< TestType >::buildPrism ( std::string const &  programFile, std::string const &  formulaAsString, std::string const &  constantsAsString = ""  ) const

inline

Definition at line 53 of file BeliefExplorationAPITest.cpp.

env()

template<typename TestType >

storm::Environment const & BeliefExplorationAPITest< TestType >::env ( ) const

inline

Definition at line 42 of file BeliefExplorationAPITest.cpp.

modelcheckingPrecision()

template<typename TestType >

ValueType BeliefExplorationAPITest< TestType >::modelcheckingPrecision ( ) const

inline

Definition at line 70 of file BeliefExplorationAPITest.cpp.

parseNumber()

template<typename TestType >

ValueType BeliefExplorationAPITest< TestType >::parseNumber ( std::string const &  str )

inline

Definition at line 46 of file BeliefExplorationAPITest.cpp.

precision()

template<typename TestType >

ValueType BeliefExplorationAPITest< TestType >::precision ( ) const

inline

Definition at line 67 of file BeliefExplorationAPITest.cpp.

SetUp()

template<typename TestType >

void BeliefExplorationAPITest< TestType >::SetUp ( )

inlineoverride

Definition at line 36 of file BeliefExplorationAPITest.cpp.

---

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

• src/test/storm-pomdp/api/BeliefExplorationAPITest.cpp