mcrl2::lps::state_probability_pair< STATE, PROBABILITY > Class Template Reference

#include <state_probability_pair.h>

Public Member Functions
	state_probability_pair (const STATE &state, const PROBABILITY &probability)
	constructor.
	state_probability_pair (const state_probability_pair &p)=default
	Copy constructor;.
	state_probability_pair (state_probability_pair &&p)=default
state_probability_pair &	operator= (const state_probability_pair &p)=default
	Standard assignment.
state_probability_pair &	operator= (state_probability_pair &&p)=default
bool	operator== (const state_probability_pair &other) const
	Standard equality operator.
const STATE &	state () const
	Get the state from a state probability pair.
STATE &	state ()
	Get the state in a state probability pair.
const PROBABILITY &	probability () const
	get the probability from a state proability pair.
PROBABILITY &	probability ()
	Set the probability in a state probability pair.

Protected Attributes
STATE	m_state
PROBABILITY	m_probability

Detailed Description

template<class STATE, class PROBABILITY>
class mcrl2::lps::state_probability_pair< STATE, PROBABILITY >

Definition at line 33 of file state_probability_pair.h.

Constructor & Destructor Documentation

state_probability_pair() [1/3]

template<class STATE , class PROBABILITY >

mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::state_probability_pair ( const STATE &  state, const PROBABILITY &  probability  )

inline

constructor.

Parameters

state	The state.
probability	The probability of the occurrence of this state.

Definition at line 45 of file state_probability_pair.h.

state_probability_pair() [2/3]

template<class STATE , class PROBABILITY >

mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::state_probability_pair ( const state_probability_pair< STATE, PROBABILITY > &  p )

default

Copy constructor;.

Parameters

p	The state probability pair to be copied.

state_probability_pair() [3/3]

template<class STATE , class PROBABILITY >

mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::state_probability_pair ( state_probability_pair< STATE, PROBABILITY > &&  p )

default

Member Function Documentation

operator=() [1/2]

template<class STATE , class PROBABILITY >

state_probability_pair & mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::operator= ( const state_probability_pair< STATE, PROBABILITY > &  p )

default

Standard assignment.

Parameters

p	The state probability pair to be assigned.

Returns

A reference to the assigned object.

operator=() [2/2]

template<class STATE , class PROBABILITY >

state_probability_pair & mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::operator= ( state_probability_pair< STATE, PROBABILITY > &&  p )

default

operator==()

template<class STATE , class PROBABILITY >

bool mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::operator== ( const state_probability_pair< STATE, PROBABILITY > &  other ) const

inline

Standard equality operator.

Returns

Returns true iff the probabilistic states are equal.

Definition at line 66 of file state_probability_pair.h.

probability() [1/2]

template<class STATE , class PROBABILITY >

PROBABILITY & mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::probability ( )

inline

Set the probability in a state probability pair.

Definition at line 101 of file state_probability_pair.h.

probability() [2/2]

template<class STATE , class PROBABILITY >

const PROBABILITY & mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::probability ( ) const

inline

get the probability from a state proability pair.

Definition at line 95 of file state_probability_pair.h.

state() [1/2]

template<class STATE , class PROBABILITY >

STATE & mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::state ( )

inline

Get the state in a state probability pair.

Definition at line 89 of file state_probability_pair.h.

state() [2/2]

template<class STATE , class PROBABILITY >

const STATE & mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::state ( ) const

inline

Get the state from a state probability pair.

Definition at line 83 of file state_probability_pair.h.

Member Data Documentation

m_probability

template<class STATE , class PROBABILITY >

PROBABILITY mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::m_probability

protected

Definition at line 39 of file state_probability_pair.h.

m_state

template<class STATE , class PROBABILITY >

STATE mcrl2::lps::state_probability_pair< STATE, PROBABILITY >::m_state

protected

Definition at line 37 of file state_probability_pair.h.

---

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

• lps/include/mcrl2/lps/state_probability_pair.h