#include <SparseMatrix.h>

Public Types
typedef IndexType	index_type

typedef ValueType	value_type

Public Member Functions
	MatrixEntry (index_type column, value_type value)
	Constructs a matrix entry with the given column and value.

	MatrixEntry (std::pair< index_type, value_type > &&pair)
	Move-constructs the matrix entry fro the given column-value pair.

	MatrixEntry ()=default

	MatrixEntry (MatrixEntry const &other)=default

MatrixEntry &	operator= (MatrixEntry const &other)=default

	MatrixEntry (MatrixEntry &&other)=default

MatrixEntry &	operator= (MatrixEntry &&other)=default

index_type const &	getColumn () const
	Retrieves the column of the matrix entry.

void	setColumn (index_type const &column)
	Sets the column of the current entry.

value_type const &	getValue () const
	Retrieves the value of the matrix entry.

void	setValue (value_type const &value)
	Sets the value of the entry in the matrix.

std::pair< index_type, value_type > const &	getColumnValuePair () const
	Retrieves a pair of column and value that characterizes this entry.

MatrixEntry	operator* (value_type factor) const
	Multiplies the entry with the given factor and returns the result.

bool	operator== (MatrixEntry const &other) const

bool	operator!= (MatrixEntry const &other) const

Friends
template<typename IndexTypePrime , typename ValueTypePrime >
std::ostream &	operator<< (std::ostream &out, MatrixEntry< IndexTypePrime, ValueTypePrime > const &entry)

Detailed Description

template<typename IndexType, typename ValueType>
class storm::storage::MatrixEntry< IndexType, ValueType >

Definition at line 41 of file SparseMatrix.h.

Member Typedef Documentation

◆ index_type

template<typename IndexType , typename ValueType >

typedef IndexType storm::storage::MatrixEntry< IndexType, ValueType >::index_type

Definition at line 43 of file SparseMatrix.h.

◆ value_type

template<typename IndexType , typename ValueType >

typedef ValueType storm::storage::MatrixEntry< IndexType, ValueType >::value_type

Definition at line 44 of file SparseMatrix.h.

Constructor & Destructor Documentation

◆ MatrixEntry() [1/5]

template<typename IndexType , typename ValueType >

storm::storage::MatrixEntry< IndexType, ValueType >::MatrixEntry	(	index_type	column,
		value_type	value
	)

Constructs a matrix entry with the given column and value.

Parameters

column	The column of the matrix entry.
value	The value of the matrix entry.

Definition at line 27 of file SparseMatrix.cpp.

◆ MatrixEntry() [2/5]

template<typename IndexType , typename ValueType >

storm::storage::MatrixEntry< IndexType, ValueType >::MatrixEntry ( std::pair< index_type, value_type > && pair )

Move-constructs the matrix entry fro the given column-value pair.

Parameters

pair	The column-value pair from which to move-construct the matrix entry.

Definition at line 32 of file SparseMatrix.cpp.

◆ MatrixEntry() [3/5]

template<typename IndexType , typename ValueType >

storm::storage::MatrixEntry< IndexType, ValueType >::MatrixEntry ( )

default

◆ MatrixEntry() [4/5]

template<typename IndexType , typename ValueType >

storm::storage::MatrixEntry< IndexType, ValueType >::MatrixEntry ( MatrixEntry< IndexType, ValueType > const & other )

default

◆ MatrixEntry() [5/5]

template<typename IndexType , typename ValueType >

storm::storage::MatrixEntry< IndexType, ValueType >::MatrixEntry ( MatrixEntry< IndexType, ValueType > && other )

default

Member Function Documentation

◆ getColumn()

template<typename IndexType , typename ValueType >

IndexType const & storm::storage::MatrixEntry< IndexType, ValueType >::getColumn ( ) const

Retrieves the column of the matrix entry.

Returns: The column of the matrix entry.

Definition at line 37 of file SparseMatrix.cpp.

◆ getColumnValuePair()

template<typename IndexType , typename ValueType >

std::pair< IndexType, ValueType > const & storm::storage::MatrixEntry< IndexType, ValueType >::getColumnValuePair ( ) const

Retrieves a pair of column and value that characterizes this entry.

Returns: A column-value pair that characterizes this entry.

Definition at line 57 of file SparseMatrix.cpp.

◆ getValue()

template<typename IndexType , typename ValueType >

ValueType const & storm::storage::MatrixEntry< IndexType, ValueType >::getValue ( ) const

Retrieves the value of the matrix entry.

Returns: The value of the matrix entry.

Definition at line 47 of file SparseMatrix.cpp.

◆ operator!=()

template<typename IndexType , typename ValueType >

bool storm::storage::MatrixEntry< IndexType, ValueType >::operator!= ( MatrixEntry< IndexType, ValueType > const & other ) const

Definition at line 72 of file SparseMatrix.cpp.

◆ operator*()

template<typename IndexType , typename ValueType >

MatrixEntry< IndexType, ValueType > storm::storage::MatrixEntry< IndexType, ValueType >::operator* ( value_type factor ) const

Multiplies the entry with the given factor and returns the result.

Parameters

factor The factor with which to multiply the entry.

Definition at line 62 of file SparseMatrix.cpp.

◆ operator=() [1/2]

template<typename IndexType , typename ValueType >

MatrixEntry & storm::storage::MatrixEntry< IndexType, ValueType >::operator= ( MatrixEntry< IndexType, ValueType > && other )

default

◆ operator=() [2/2]

template<typename IndexType , typename ValueType >

MatrixEntry & storm::storage::MatrixEntry< IndexType, ValueType >::operator= ( MatrixEntry< IndexType, ValueType > const & other )

default

◆ operator==()

template<typename IndexType , typename ValueType >

bool storm::storage::MatrixEntry< IndexType, ValueType >::operator== ( MatrixEntry< IndexType, ValueType > const & other ) const

Definition at line 67 of file SparseMatrix.cpp.

◆ setColumn()

template<typename IndexType , typename ValueType >

void storm::storage::MatrixEntry< IndexType, ValueType >::setColumn ( index_type const & column )

Sets the column of the current entry.

Parameters

column The column to set for this entry.

Definition at line 42 of file SparseMatrix.cpp.

◆ setValue()

template<typename IndexType , typename ValueType >

void storm::storage::MatrixEntry< IndexType, ValueType >::setValue ( value_type const & value )

Sets the value of the entry in the matrix.

Parameters

value The value that is to be set for this entry.

Definition at line 52 of file SparseMatrix.cpp.

Friends And Related Symbol Documentation

◆ operator<<

template<typename IndexType , typename ValueType >

template<typename IndexTypePrime , typename ValueTypePrime >

std::ostream & operator<<	(	std::ostream &	out,
		MatrixEntry< IndexTypePrime, ValueTypePrime > const &	entry
	)

friend

Definition at line 77 of file SparseMatrix.cpp.

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

src/storm/storage/dd/cudd/InternalCuddAdd.h
src/storm/storage/SparseMatrix.h
src/storm/storage/SparseMatrix.cpp

Public Types

Public Member Functions

Friends

Detailed Description

Member Typedef Documentation

◆ index_type

◆ value_type

Constructor & Destructor Documentation

◆ MatrixEntry() [1/5]

◆ MatrixEntry() [2/5]

◆ MatrixEntry() [3/5]

◆ MatrixEntry() [4/5]

◆ MatrixEntry() [5/5]

Member Function Documentation

◆ getColumn()

◆ getColumnValuePair()

◆ getValue()

◆ operator!=()

◆ operator*()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ operator==()

◆ setColumn()

◆ setValue()

Friends And Related Symbol Documentation

◆ operator<<