From cb839bedc833a37f08f2a353e7f5d9ad59535acb Mon Sep 17 00:00:00 2001
From: ThomasH <thomas.henn@rwth-aachen.de>
Date: Sun, 25 Oct 2015 16:51:27 +0100
Subject: [PATCH] use vectors instead of sets

Former-commit-id: fb037378cb305b50153b85385e0e6c5b4ce9c4a1
---
 src/storage/gspn/GSPN.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storage/gspn/GSPN.h b/src/storage/gspn/GSPN.h
index 09889be8d..6be99b5e7 100644
--- a/src/storage/gspn/GSPN.h
+++ b/src/storage/gspn/GSPN.h
@@ -1,7 +1,7 @@
 #ifndef STORM_GSPN_H
 #define STORM_GSPN_H
 
-#include <set>
+#include <vector>
 #include "ImmediateTransition.h"
 #include "TimedTransition.h"
 #include "Marking.h"
@@ -16,10 +16,10 @@ namespace storm {
             typedef double WeightType;
         private:
             // set containing all immediate transitions
-            std::set<storm::gspn::ImmediateTransition<WeightType>> immediateTransitions;
+            std::vector<storm::gspn::ImmediateTransition<WeightType>> immediateTransitions;
 
             // set containing all timed transitions
-            std::set<storm::gspn::TimedTransition<RateType>> timedTransitions;
+            std::vector<storm::gspn::TimedTransition<RateType>> timedTransitions;
 
             // initial marking
             storm::gspn::Marking initialMarking;