operator< for stateaction pairs

Former-commit-id: d69660a770
9 years ago · bd7fc0b341
1 changed files with 4 additions and 1 deletions
--- a/src/storage/StateActionPair.h
+++ b/src/storage/StateActionPair.h
@ -27,7 +27,10 @@ namespace storm {
            friend bool operator!=(StateActionPair const& p1, StateActionPair const& p2) {
                return p1.stateActionPair != p2.stateActionPair;
            }
-            
+
+            friend bool operator<(StateActionPair const& p1, StateActionPair const& p2) {
+                return p1.getState() < p2.getState() || (p1.getState() == p2.getState() && p1.getAction() < p2.getAction());
+            }
            
        };
    }