Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
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 47 of file ExplicitModelCheckerHint.cpp.

◆ getMaybeStates() [1/2]

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

Definition at line 71 of file ExplicitModelCheckerHint.cpp.

◆ getMaybeStates() [2/2]

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

Definition at line 66 of file ExplicitModelCheckerHint.cpp.

◆ getNoEndComponentsInMaybeStates()

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

Definition at line 111 of file ExplicitModelCheckerHint.cpp.

◆ getResultHint() [1/2]

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

Definition at line 32 of file ExplicitModelCheckerHint.cpp.

◆ getResultHint() [2/2]

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

Definition at line 27 of file ExplicitModelCheckerHint.cpp.

◆ getSchedulerHint() [1/2]

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

Definition at line 96 of file ExplicitModelCheckerHint.cpp.

◆ getSchedulerHint() [2/2]

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

Definition at line 91 of file ExplicitModelCheckerHint.cpp.

◆ hasMaybeStates()

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

Definition at line 61 of file ExplicitModelCheckerHint.cpp.

◆ hasResultHint()

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

Definition at line 22 of file ExplicitModelCheckerHint.cpp.

◆ hasSchedulerHint()

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

Definition at line 86 of file ExplicitModelCheckerHint.cpp.

◆ isEmpty()

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

Reimplemented from storm::modelchecker::ModelCheckerHint.

Definition at line 12 of file ExplicitModelCheckerHint.cpp.

◆ isExplicitModelCheckerHint()

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

Reimplemented from storm::modelchecker::ModelCheckerHint.

Definition at line 17 of file ExplicitModelCheckerHint.cpp.

◆ setComputeOnlyMaybeStates()

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

Definition at line 54 of file ExplicitModelCheckerHint.cpp.

◆ setMaybeStates() [1/2]

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

Definition at line 81 of file ExplicitModelCheckerHint.cpp.

◆ setMaybeStates() [2/2]

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

Definition at line 76 of file ExplicitModelCheckerHint.cpp.

◆ setNoEndComponentsInMaybeStates()

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

Definition at line 116 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 42 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 37 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: