Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::modelchecker::ExplicitModelCheckerHint< ValueType > Class Template Reference

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

#include <ExplicitModelCheckerHint.h>

Inheritance diagram for storm::modelchecker::ExplicitModelCheckerHint< ValueType >:
Inheritance graph
[legend]
Collaboration diagram for storm::modelchecker::ExplicitModelCheckerHint< ValueType >:
Collaboration graph
[legend]

Public Member Functions

 ExplicitModelCheckerHint ()=default
 ExplicitModelCheckerHint (ExplicitModelCheckerHint< ValueType > const &other)=default
 ExplicitModelCheckerHint (ExplicitModelCheckerHint< ValueType > &&other)=default
virtual bool isEmpty () const override
virtual bool isExplicitModelCheckerHint () const override
bool hasResultHint () const
std::vector< ValueType > const & getResultHint () const
std::vector< ValueType > & getResultHint ()
void setResultHint (boost::optional< std::vector< ValueType > > const &resultHint)
void setResultHint (boost::optional< std::vector< ValueType > > &&resultHint)
bool getComputeOnlyMaybeStates () const
void setComputeOnlyMaybeStates (bool value)
bool hasMaybeStates () const
storm::storage::BitVector const & getMaybeStates () const
storm::storage::BitVector & getMaybeStates ()
void setMaybeStates (storm::storage::BitVector const &maybeStates)
void setMaybeStates (storm::storage::BitVector &&maybeStates)
bool hasSchedulerHint () const
storm::storage::Scheduler< ValueType > const & getSchedulerHint () const
storm::storage::Scheduler< ValueType > & getSchedulerHint ()
void setSchedulerHint (boost::optional< storage::Scheduler< ValueType > > const &schedulerHint)
void setSchedulerHint (boost::optional< storage::Scheduler< ValueType > > &&schedulerHint)
bool getNoEndComponentsInMaybeStates () const
void setNoEndComponentsInMaybeStates (bool value)
Public Member Functions inherited from storm::modelchecker::ModelCheckerHint
 ModelCheckerHint ()=default
virtual ~ModelCheckerHint ()=default
template<typename ValueType>
ExplicitModelCheckerHint< ValueType > & asExplicitModelCheckerHint ()
template<typename ValueType>
ExplicitModelCheckerHint< ValueType > const & asExplicitModelCheckerHint () const
template<typename ValueType>
ExplicitModelCheckerHint< ValueType > const & asExplicitModelCheckerHint () const

Detailed Description

template<typename ValueType>
class storm::modelchecker::ExplicitModelCheckerHint< ValueType >

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 18 of file ExplicitModelCheckerHint.h.

Constructor & Destructor Documentation

◆ ExplicitModelCheckerHint() [1/3]

template<typename ValueType>
storm::modelchecker::ExplicitModelCheckerHint< ValueType >::ExplicitModelCheckerHint ( )
default

◆ ExplicitModelCheckerHint() [2/3]

template<typename ValueType>
storm::modelchecker::ExplicitModelCheckerHint< ValueType >::ExplicitModelCheckerHint ( ExplicitModelCheckerHint< ValueType > const & other)
default

◆ ExplicitModelCheckerHint() [3/3]

template<typename ValueType>
storm::modelchecker::ExplicitModelCheckerHint< ValueType >::ExplicitModelCheckerHint ( ExplicitModelCheckerHint< ValueType > && other)
default

Member Function Documentation

◆ getComputeOnlyMaybeStates()

template<typename ValueType>
bool storm::modelchecker::ExplicitModelCheckerHint< ValueType >::getComputeOnlyMaybeStates ( ) const

Definition at line 48 of file ExplicitModelCheckerHint.cpp.

◆ getMaybeStates() [1/2]

template<typename ValueType>
storm::storage::BitVector & storm::modelchecker::ExplicitModelCheckerHint< ValueType >::getMaybeStates ( )

Definition at line 72 of file ExplicitModelCheckerHint.cpp.

◆ getMaybeStates() [2/2]

template<typename ValueType>
storm::storage::BitVector const & storm::modelchecker::ExplicitModelCheckerHint< ValueType >::getMaybeStates ( ) const

Definition at line 67 of file ExplicitModelCheckerHint.cpp.

◆ getNoEndComponentsInMaybeStates()

template<typename ValueType>
bool storm::modelchecker::ExplicitModelCheckerHint< ValueType >::getNoEndComponentsInMaybeStates ( ) const

Definition at line 112 of file ExplicitModelCheckerHint.cpp.

◆ getResultHint() [1/2]

template<typename ValueType>
std::vector< ValueType > & storm::modelchecker::ExplicitModelCheckerHint< ValueType >::getResultHint ( )

Definition at line 33 of file ExplicitModelCheckerHint.cpp.

◆ getResultHint() [2/2]

template<typename ValueType>
std::vector< ValueType > const & storm::modelchecker::ExplicitModelCheckerHint< ValueType >::getResultHint ( ) const

Definition at line 28 of file ExplicitModelCheckerHint.cpp.

◆ getSchedulerHint() [1/2]

template<typename ValueType>
storm::storage::Scheduler< ValueType > & storm::modelchecker::ExplicitModelCheckerHint< ValueType >::getSchedulerHint ( )

Definition at line 97 of file ExplicitModelCheckerHint.cpp.

◆ getSchedulerHint() [2/2]

template<typename ValueType>
storm::storage::Scheduler< ValueType > const & storm::modelchecker::ExplicitModelCheckerHint< ValueType >::getSchedulerHint ( ) const

Definition at line 92 of file ExplicitModelCheckerHint.cpp.

◆ hasMaybeStates()

template<typename ValueType>
bool storm::modelchecker::ExplicitModelCheckerHint< ValueType >::hasMaybeStates ( ) const

Definition at line 62 of file ExplicitModelCheckerHint.cpp.

◆ hasResultHint()

template<typename ValueType>
bool storm::modelchecker::ExplicitModelCheckerHint< ValueType >::hasResultHint ( ) const

Definition at line 23 of file ExplicitModelCheckerHint.cpp.

◆ hasSchedulerHint()

template<typename ValueType>
bool storm::modelchecker::ExplicitModelCheckerHint< ValueType >::hasSchedulerHint ( ) const

Definition at line 87 of file ExplicitModelCheckerHint.cpp.

◆ isEmpty()

template<typename ValueType>
bool storm::modelchecker::ExplicitModelCheckerHint< ValueType >::isEmpty ( ) const
overridevirtual

Reimplemented from storm::modelchecker::ModelCheckerHint.

Definition at line 13 of file ExplicitModelCheckerHint.cpp.

◆ isExplicitModelCheckerHint()

template<typename ValueType>
bool storm::modelchecker::ExplicitModelCheckerHint< ValueType >::isExplicitModelCheckerHint ( ) const
overridevirtual

Reimplemented from storm::modelchecker::ModelCheckerHint.

Definition at line 18 of file ExplicitModelCheckerHint.cpp.

◆ setComputeOnlyMaybeStates()

template<typename ValueType>
void storm::modelchecker::ExplicitModelCheckerHint< ValueType >::setComputeOnlyMaybeStates ( bool value)

Definition at line 55 of file ExplicitModelCheckerHint.cpp.

◆ setMaybeStates() [1/2]

template<typename ValueType>
void storm::modelchecker::ExplicitModelCheckerHint< ValueType >::setMaybeStates ( storm::storage::BitVector && maybeStates)

Definition at line 82 of file ExplicitModelCheckerHint.cpp.

◆ setMaybeStates() [2/2]

template<typename ValueType>
void storm::modelchecker::ExplicitModelCheckerHint< ValueType >::setMaybeStates ( storm::storage::BitVector const & maybeStates)

Definition at line 77 of file ExplicitModelCheckerHint.cpp.

◆ setNoEndComponentsInMaybeStates()

template<typename ValueType>
void storm::modelchecker::ExplicitModelCheckerHint< ValueType >::setNoEndComponentsInMaybeStates ( bool value)

Definition at line 117 of file ExplicitModelCheckerHint.cpp.

◆ setResultHint() [1/2]

template<typename ValueType>
void storm::modelchecker::ExplicitModelCheckerHint< ValueType >::setResultHint ( boost::optional< std::vector< ValueType > > && resultHint)

Definition at line 43 of file ExplicitModelCheckerHint.cpp.

◆ setResultHint() [2/2]

template<typename ValueType>
void storm::modelchecker::ExplicitModelCheckerHint< ValueType >::setResultHint ( boost::optional< std::vector< ValueType > > const & resultHint)

Definition at line 38 of file ExplicitModelCheckerHint.cpp.

◆ setSchedulerHint() [1/2]

template<typename ValueType>
void storm::modelchecker::ExplicitModelCheckerHint< ValueType >::setSchedulerHint ( boost::optional< storage::Scheduler< ValueType > > && schedulerHint)

◆ setSchedulerHint() [2/2]

template<typename ValueType>
void storm::modelchecker::ExplicitModelCheckerHint< ValueType >::setSchedulerHint ( boost::optional< storage::Scheduler< ValueType > > const & schedulerHint)
The documentation for this class was generated from the following files: