Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | Public Attributes | List of all members
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: