storm::storage::StateActionPair Class Reference

#include <StateActionPair.h>

Public Member Functions
	StateActionPair (std::pair< uint_fast64_t, uint_fast64_t > const &sap)
	StateActionPair (uint_fast64_t state, uint_fast64_t action)
uint_fast64_t	getState () const
uint_fast64_t	getAction () const

Friends
bool	operator== (StateActionPair const &p1, StateActionPair const &p2)
bool	operator!= (StateActionPair const &p1, StateActionPair const &p2)
bool	operator< (StateActionPair const &p1, StateActionPair const &p2)

Detailed Description

Definition at line 8 of file StateActionPair.h.

Constructor & Destructor Documentation

StateActionPair() [1/2]

storm::storage::StateActionPair::StateActionPair ( std::pair< uint_fast64_t, uint_fast64_t > const & sap )

inline

Definition at line 12 of file StateActionPair.h.

StateActionPair() [2/2]

storm::storage::StateActionPair::StateActionPair ( uint_fast64_t state, uint_fast64_t action )

inline

Definition at line 13 of file StateActionPair.h.

Member Function Documentation

getAction()

uint_fast64_t storm::storage::StateActionPair::getAction ( ) const

inline

Definition at line 19 of file StateActionPair.h.

getState()

uint_fast64_t storm::storage::StateActionPair::getState ( ) const

inline

Definition at line 15 of file StateActionPair.h.

Friends And Related Symbol Documentation

operator!=

bool operator!= ( StateActionPair const & p1, StateActionPair const & p2 )

friend

Definition at line 27 of file StateActionPair.h.

operator<

bool operator< ( StateActionPair const & p1, StateActionPair const & p2 )

friend

Definition at line 31 of file StateActionPair.h.

operator==

bool operator== ( StateActionPair const & p1, StateActionPair const & p2 )

friend

Definition at line 23 of file StateActionPair.h.

---

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

• src/storm/storage/StateActionPair.h