Added function for retrieving the ID of the custom leaves.

Former-commit-id: 615cacf3b9

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
  */

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
  */