storm::storage::DeterministicTransition< ProbabilityType > Class Template Reference

#include <DeterministicTransition.h>

Public Member Functions
	DeterministicTransition (std::pair< StateId, ProbabilityType > const &transition)
	DeterministicTransition (std::pair< StateId, ProbabilityType > &&transition)
	DeterministicTransition (StateId targetState)
StateId &	targetState ()
StateId const &	targetState () const
ProbabilityType &	probability ()
ProbabilityType const &	probability () const

Detailed Description

template<typename ProbabilityType>
class storm::storage::DeterministicTransition< ProbabilityType >

Definition at line 15 of file DeterministicTransition.h.

Constructor & Destructor Documentation

DeterministicTransition() [1/3]

template<typename ProbabilityType >

storm::storage::DeterministicTransition< ProbabilityType >::DeterministicTransition ( std::pair< StateId, ProbabilityType > const &  transition )

inline

Definition at line 19 of file DeterministicTransition.h.

DeterministicTransition() [2/3]

template<typename ProbabilityType >

storm::storage::DeterministicTransition< ProbabilityType >::DeterministicTransition ( std::pair< StateId, ProbabilityType > &&  transition )

inline

Definition at line 21 of file DeterministicTransition.h.

DeterministicTransition() [3/3]

template<typename ProbabilityType >

storm::storage::DeterministicTransition< ProbabilityType >::DeterministicTransition ( StateId  targetState )

inline

Definition at line 23 of file DeterministicTransition.h.

Member Function Documentation

probability() [1/2]

template<typename ProbabilityType >

ProbabilityType & storm::storage::DeterministicTransition< ProbabilityType >::probability ( )

inline

Definition at line 32 of file DeterministicTransition.h.

probability() [2/2]

template<typename ProbabilityType >

ProbabilityType const & storm::storage::DeterministicTransition< ProbabilityType >::probability ( ) const

inline

Definition at line 36 of file DeterministicTransition.h.

targetState() [1/2]

template<typename ProbabilityType >

StateId & storm::storage::DeterministicTransition< ProbabilityType >::targetState ( )

inline

Definition at line 25 of file DeterministicTransition.h.

targetState() [2/2]

template<typename ProbabilityType >

StateId const & storm::storage::DeterministicTransition< ProbabilityType >::targetState ( ) const

inline

Definition at line 28 of file DeterministicTransition.h.

---

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

• src/storm/storage/DeterministicTransition.h