parametric pomdps?

src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp

@@ -133,5 +133,6 @@ namespace storm {
 
         template
         class ApplyFiniteSchedulerToPomdp<double>;
+        template class ApplyFiniteSchedulerToPomdp<storm::RationalFunction>;
     }
 }

src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp

@@ -173,5 +173,6 @@ namespace storm {
 
         template
         class BinaryPomdpTransformer<double>;
+        template class BinaryPomdpTransformer<storm::RationalFunction>;
     }
 }

src/storm-pomdp/transformer/MakePOMDPCanonic.cpp

@@ -289,5 +289,6 @@ namespace storm {
 
         template class MakePOMDPCanonic<double>;
         template class MakePOMDPCanonic<storm::RationalNumber>;
+        template class MakePOMDPCanonic<storm::RationalFunction>;
     }
 }

src/storm-pomdp/transformer/PomdpMemoryUnfolder.cpp

@@ -187,6 +187,7 @@ namespace storm {
             }
 
             template class PomdpMemoryUnfolder<storm::RationalNumber>;
+        template class PomdpMemoryUnfolder<storm::RationalFunction>;
 
         template
         class PomdpMemoryUnfolder<double>;