From 62757e28f735df9c28a2caf82f9c176e18af7686 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 9 Jul 2020 22:00:26 -0700
Subject: [PATCH] parametric pomdps?

---
 src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp | 1 +
 src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp      | 1 +
 src/storm-pomdp/transformer/MakePOMDPCanonic.cpp            | 1 +
 src/storm-pomdp/transformer/PomdpMemoryUnfolder.cpp         | 1 +
 4 files changed, 4 insertions(+)

diff --git a/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp b/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp
index b0f1837cb..7d290a6da 100644
--- a/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp
+++ b/src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp
@@ -133,5 +133,6 @@ namespace storm {
 
         template
         class ApplyFiniteSchedulerToPomdp<double>;
+        template class ApplyFiniteSchedulerToPomdp<storm::RationalFunction>;
     }
 }
\ No newline at end of file
diff --git a/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp b/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp
index 385e415f1..358ad3041 100644
--- a/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp
+++ b/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp
@@ -173,5 +173,6 @@ namespace storm {
 
         template
         class BinaryPomdpTransformer<double>;
+        template class BinaryPomdpTransformer<storm::RationalFunction>;
     }
 }
\ No newline at end of file
diff --git a/src/storm-pomdp/transformer/MakePOMDPCanonic.cpp b/src/storm-pomdp/transformer/MakePOMDPCanonic.cpp
index 3cd17c25d..28f0d8c30 100644
--- a/src/storm-pomdp/transformer/MakePOMDPCanonic.cpp
+++ b/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>;
     }
 }
\ No newline at end of file
diff --git a/src/storm-pomdp/transformer/PomdpMemoryUnfolder.cpp b/src/storm-pomdp/transformer/PomdpMemoryUnfolder.cpp
index 1f7235108..086a1e389 100644
--- a/src/storm-pomdp/transformer/PomdpMemoryUnfolder.cpp
+++ b/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>;