From c8262a3022f26f1cf266285461a4694354daa8f0 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 14 Jul 2016 21:44:58 +0200
Subject: [PATCH] Added function for retrieving the ID of the custom leaves.

Former-commit-id: 615cacf3b9a16075338eb59229d82de33a5c6b74
---
 .../3rdparty/sylvan/src/sylvan_storm_rational_function.c   | 4 ++++
 .../3rdparty/sylvan/src/sylvan_storm_rational_function.h   | 7 ++++++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c
index fcbd1f911..ebb5f7062 100644
--- a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c
+++ b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c
@@ -80,6 +80,10 @@ sylvan_storm_rational_function_init()
 	CACHE_STORM_RATIONAL_FUNCTION_AND_EXISTS = cache_next_opid();
 }
 
+uint32_t sylvan_storm_rational_function_get_type() {
+	return sylvan_storm_rational_function_type;
+}
+
 /**
  * Create storm::RationalFunction leaf
  */
diff --git a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.h b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.h
index 2080ca11c..f97347690 100644
--- a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.h
+++ b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.h
@@ -10,7 +10,7 @@
 
 #define SYLVAN_HAVE_CARL 1
 
-#ifdef SYLVAN_HAVE_CARL
+#if defined(SYLVAN_HAVE_CARL) || defined(STORM_HAVE_CARL)
 
 #ifdef __cplusplus
 extern "C" {
@@ -21,6 +21,11 @@ extern "C" {
  */
 void sylvan_storm_rational_function_init();
 
+/** 
+ * Returns the identifier necessary to use these custom leaves.
+ */
+uint32_t sylvan_storm_rational_function_get_type();
+
 /**
  * Create storm::RationalFunction leaf
  */