Storm
A Modern Probabilistic Model Checker
|
#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 |
Definition at line 40 of file shortestPaths.h.
|
inline |
Definition at line 46 of file shortestPaths.h.
|
inline |
Definition at line 53 of file shortestPaths.h.
T storm::utility::ksp::Path< T >::distance |
Definition at line 43 of file shortestPaths.h.
unsigned long storm::utility::ksp::Path< T >::predecessorK |
Definition at line 42 of file shortestPaths.h.
boost::optional<state_t> storm::utility::ksp::Path< T >::predecessorNode |
Definition at line 41 of file shortestPaths.h.