storm::utility::ksp Namespace Reference

Classes
struct	Path
class	ShortestPathsGenerator

Typedefs
using	state_t = storage::sparse::state_type
using	OrderedStateList = std::vector<state_t>
using	BitVector = storage::BitVector

Enumerations
enum class	MatrixFormat { straight , iMinusP }

Functions
template<typename T>
std::ostream &	operator<< (std::ostream &out, Path< T > const &p)
template std::ostream &	operator<< (std::ostream &out, Path< double > const &p)

Typedef Documentation

BitVector

using storm::utility::ksp::BitVector = storage::BitVector

Definition at line 35 of file shortestPaths.h.

OrderedStateList

using storm::utility::ksp::OrderedStateList = std::vector<state_t>

Definition at line 34 of file shortestPaths.h.

state_t

using storm::utility::ksp::state_t = storage::sparse::state_type

Definition at line 33 of file shortestPaths.h.

Enumeration Type Documentation

MatrixFormat

enum class storm::utility::ksp::MatrixFormat

strong

Enumerator
straight
iMinusP

Definition at line 64 of file shortestPaths.h.

Function Documentation

operator<<() [1/2]

template std::ostream & storm::utility::ksp::operator<<	(	std::ostream &	out,
		Path< double > const &	p )

operator<<() [2/2]

template<typename T>

std::ostream & storm::utility::ksp::operator<<	(	std::ostream &	out,
		Path< T > const &	p )

Definition at line 367 of file shortestPaths.cpp.