1#ifndef STATEACTIONPAIR_H
2#define STATEACTIONPAIR_H
9 std::pair<uint_fast64_t, uint_fast64_t> stateActionPair;
12 StateActionPair(std::pair<uint_fast64_t, uint_fast64_t>
const& sap) : stateActionPair(sap) {}
13 StateActionPair(uint_fast64_t state, uint_fast64_t action) : stateActionPair(
std::make_pair(state, action)) {}
16 return stateActionPair.first;
20 return stateActionPair.second;
24 return p1.stateActionPair == p2.stateActionPair;
28 return p1.stateActionPair != p2.stateActionPair;
40struct hash<
storm::storage::StateActionPair> {
40struct hash<
storm::storage::StateActionPair> {
…};
uint_fast64_t getState() const
friend bool operator==(StateActionPair const &p1, StateActionPair const &p2)
friend bool operator<(StateActionPair const &p1, StateActionPair const &p2)
friend bool operator!=(StateActionPair const &p1, StateActionPair const &p2)
StateActionPair(std::pair< uint_fast64_t, uint_fast64_t > const &sap)
uint_fast64_t getAction() const
StateActionPair(uint_fast64_t state, uint_fast64_t action)
size_t operator()(storm::storage::StateActionPair const &sap) const