use long in generation of s and r components

adeterminize/src/rhdpda/RhdpdaUtils.cpp

@@ -86,10 +86,10 @@ vector<SComponent> RhdpdaUtils::generateAllPossibleSComponents(set<StateSymbolPa
     
     // Generate all possible s components
     vector<SComponent> possibleS;
-    int possibleSSize = pow(2, possiblePairsOfPairs.size());
-    for (int i = 0; i < possibleSSize; i++) {
+    long int possibleSSize = pow(2, possiblePairsOfPairs.size());
+    for (long int i = 0; i < possibleSSize; i++) {
         set<PairOfPairs> pairsOfPairsSet;
-        int mask = 1;
+        long int mask = 1;
         for (const auto& pairOfPairs : possiblePairsOfPairs) {
             if ((i & mask) != 0) {
                 pairsOfPairsSet.insert(pairOfPairs);
@@ -107,10 +107,10 @@ vector<RComponent> RhdpdaUtils::generateAllPossibleRComponents(set<StateSymbolPa
 {
     // Generate all possible r components
     vector<RComponent> possibleR;
-    int possibleRSize = pow(2, pairs.size());
-    for (int i = 0; i < possibleRSize; i++) {
+    long int possibleRSize = pow(2, pairs.size());
+    for (long int i = 0; i < possibleRSize; i++) {
         set<StateSymbolPair> pairsSet;
-        int mask = 1;
+        long int mask = 1;
         for (const auto& pair : pairs) {
             if ((i & mask) != 0) {
                 pairsSet.insert(pair);

adeterminize/src/vpa/VpaUtils.cpp

@@ -91,10 +91,10 @@ vector<SComponent> VpaUtils::generateAllSComponents(const set<State>& states)
         }
     }
     vector<SComponent> possibleS;
-    int possibleSSize = pow(2, possibleStatesPairs.size());
-    for (int i = 0; i < possibleSSize; i++) {
+    long int possibleSSize = pow(2, possibleStatesPairs.size());
+    for (long int i = 0; i < possibleSSize; i++) {
         set<StatesPair> statesPairsSet;
-        int mask = 1;
+        long int mask = 1;
         for (const auto& statesPair : possibleStatesPairs) {
             if ((i & mask) != 0) {
                 statesPairsSet.insert(statesPair);
@@ -110,10 +110,10 @@ vector<SComponent> VpaUtils::generateAllSComponents(const set<State>& states)
 vector<RComponent> VpaUtils::generateAllRComponents(const set<State>& states)
 {
     vector<RComponent> possibleR;
-    int possibleRSize = pow(2, states.size());
-    for (int i = 0; i < possibleRSize; i++) {
+    long int possibleRSize = pow(2, states.size());
+    for (long int i = 0; i < possibleRSize; i++) {
         set<State> statesSet;
-        int mask = 1;
+        long int mask = 1;
         for (const auto& state : states) {
             if ((i & mask) != 0) {
                 statesSet.insert(state);