From bd7fc0b3414bf62cb6cd5f9c3531c657c2fb917e Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Tue, 29 Sep 2015 14:20:00 +0200
Subject: [PATCH] operator< for stateaction pairs
Former-commit-id: d69660a77057c681c0d83531247999d937de7907
---
src/storage/StateActionPair.h | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/storage/StateActionPair.h b/src/storage/StateActionPair.h
index c567bfe14..e9123d1b4 100644
--- 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());
+ }
};
}