storm::modelchecker::ModelCheckerHint Class Reference

This class contains information that might accelerate the model checking process. More...

#include <ModelCheckerHint.h>

Inheritance diagram for storm::modelchecker::ModelCheckerHint:

Public Member Functions
	ModelCheckerHint ()=default
virtual	~ModelCheckerHint ()=default
virtual bool	isEmpty () const
virtual bool	isExplicitModelCheckerHint () const
template<typename ValueType >
ExplicitModelCheckerHint< ValueType > &	asExplicitModelCheckerHint ()
template<typename ValueType >
ExplicitModelCheckerHint< ValueType > const &	asExplicitModelCheckerHint () const
template<typename ValueType >
ExplicitModelCheckerHint< ValueType > const &	asExplicitModelCheckerHint () const

Detailed Description

This class contains information that might accelerate the model checking process.

Note

The model checker has to make sure whether a given hint is actually applicable and thus a hint might be ignored.

Definition at line 15 of file ModelCheckerHint.h.

Constructor & Destructor Documentation

ModelCheckerHint()

storm::modelchecker::ModelCheckerHint::ModelCheckerHint ( )

default

~ModelCheckerHint()

virtual storm::modelchecker::ModelCheckerHint::~ModelCheckerHint ( )

virtualdefault

Member Function Documentation

asExplicitModelCheckerHint() [1/3]

template<typename ValueType >

template ExplicitModelCheckerHint< storm::Interval > & storm::modelchecker::ModelCheckerHint::asExplicitModelCheckerHint

(

)

Definition at line 22 of file ModelCheckerHint.cpp.

asExplicitModelCheckerHint() [2/3]

template<typename ValueType >

template ExplicitModelCheckerHint< storm::Interval > const & storm::modelchecker::ModelCheckerHint::asExplicitModelCheckerHint

(

)

const

Definition at line 17 of file ModelCheckerHint.cpp.

asExplicitModelCheckerHint() [3/3]

template<typename ValueType >

ExplicitModelCheckerHint< ValueType > const & storm::modelchecker::ModelCheckerHint::asExplicitModelCheckerHint

(

)

const

isEmpty()

bool storm::modelchecker::ModelCheckerHint::isEmpty ( ) const

virtual

Reimplemented in storm::modelchecker::ExplicitModelCheckerHint< ValueType >.

Definition at line 8 of file ModelCheckerHint.cpp.

isExplicitModelCheckerHint()

bool storm::modelchecker::ModelCheckerHint::isExplicitModelCheckerHint ( ) const

virtual

Reimplemented in storm::modelchecker::ExplicitModelCheckerHint< ValueType >.

Definition at line 12 of file ModelCheckerHint.cpp.

---

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

• src/storm/modelchecker/hints/ModelCheckerHint.h
• src/storm/modelchecker/hints/ModelCheckerHint.cpp