storm::utility::ksp::Path< T > Struct Template Reference

#include <shortestPaths.h>

Public Member Functions
bool	operator< (const Path< T > &rhs) const
bool	operator== (const Path< T > &rhs) const

Public Attributes
boost::optional< state_t >	predecessorNode
unsigned long	predecessorK
T	distance

Detailed Description

template<typename T>
struct storm::utility::ksp::Path< T >

Definition at line 40 of file shortestPaths.h.

Member Function Documentation

operator<()

template<typename T>

bool storm::utility::ksp::Path< T >::operator< ( const Path< T > & rhs ) const

inline

Definition at line 46 of file shortestPaths.h.

operator==()

template<typename T>

bool storm::utility::ksp::Path< T >::operator== ( const Path< T > & rhs ) const

inline

Definition at line 53 of file shortestPaths.h.

Member Data Documentation

distance

template<typename T>

T storm::utility::ksp::Path< T >::distance

Definition at line 43 of file shortestPaths.h.

predecessorK

template<typename T>

unsigned long storm::utility::ksp::Path< T >::predecessorK

Definition at line 42 of file shortestPaths.h.

predecessorNode

template<typename T>

boost::optional<state_t> storm::utility::ksp::Path< T >::predecessorNode

Definition at line 41 of file shortestPaths.h.

---

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

• src/storm/utility/shortestPaths.h