disable signature doc

CMakeLists.txt

@@ -2,9 +2,13 @@ cmake_minimum_required(VERSION 3.0.0)
 project(pystorm)
 
 
+option(STORMPY_DISABLE_SIGNATURE_DOC "disables the signature in the documentation" ON)
+
 find_package(storm REQUIRED)
 add_subdirectory(resources/pybind11)
 
+configure_file(${CMAKE_CURRENT_SOURCE_DIR}/src/config.h.in ${CMAKE_CURRENT_BINARY_DIR}/src/generated/config.h) 
+
 
 set(STORMPY_LIB_DIR "${CMAKE_SOURCE_DIR}/lib/stormpy")
 
@@ -19,7 +23,7 @@ function(stormpy_module NAME)
 
     file(GLOB_RECURSE "STORM_${NAME}_SOURCES" "${CMAKE_CURRENT_SOURCE_DIR}/src/${NAME}/*.cpp")
     pybind11_add_module(${NAME} "${CMAKE_CURRENT_SOURCE_DIR}/src/mod_${NAME}.cpp" ${STORM_${NAME}_SOURCES})
-    target_include_directories(${NAME} PUBLIC ${CMAKE_CURRENT_SOURCE_DIR} ${storm_INCLUDE_DIR})
+    target_include_directories(${NAME} PUBLIC ${CMAKE_CURRENT_SOURCE_DIR} ${storm_INCLUDE_DIR} ${CMAKE_CURRENT_BINARY_DIR}/src/generated)
     target_link_libraries(${NAME} PRIVATE storm)
 endfunction(stormpy_module)
 

doc/source/code_stormpy_core.rst

@@ -4,10 +4,9 @@ Stormpy.core
 .. automodule:: stormpy
 
 
-useful #1 -- auto members
+Core members
 =========================
 
-This is something I want to say that is not in the docstring.
 
 .. automodule:: stormpy.core
    :members:

src/common.h

@@ -7,6 +7,8 @@
 
 #pragma once
 
+#include "config.h"
+
 #include <pybind11/pybind11.h>
 #include <pybind11/operators.h>
 #include <pybind11/stl.h>

src/mod_core.cpp

@@ -7,6 +7,13 @@
 
 PYBIND11_PLUGIN(core) {
     py::module m("core");
+    
+#ifdef STORMPY_DISABLE_SIGNATURE_DOC
+    py::options options;
+    options.disable_function_signatures();
+#endif
+    
+    
     define_core(m);
     define_parse(m);
     define_build(m);

src/mod_expressions.cpp

@@ -4,6 +4,11 @@
 
 PYBIND11_PLUGIN(expressions) {
 	py::module m("expressions", "Storm expressions");
+    
+#ifdef STORMPY_DISABLE_SIGNATURE_DOC
+    py::options options;
+    options.disable_function_signatures();
+#endif
 
     py::class_<std::shared_ptr<storm::expressions::ExpressionManager>>(m, "ExpressionManager", "Manages variables for expressions")
         ;

src/mod_logic.cpp

@@ -4,6 +4,12 @@
 
 PYBIND11_PLUGIN(logic) {
     py::module m("logic", "Logic module for Storm");
+    
+#ifdef STORMPY_DISABLE_SIGNATURE_DOC
+    py::options options;
+    options.disable_function_signatures();
+#endif
+    
     define_formulae(m);
     return m.ptr();
 }

src/mod_storage.cpp

@@ -6,6 +6,12 @@
 
 PYBIND11_PLUGIN(storage) {
     py::module m("storage");
+    
+#ifdef STORMPY_DISABLE_SIGNATURE_DOC
+    py::options options;
+    options.disable_function_signatures();
+#endif
+    
     define_bitvector(m);
     define_model(m);
     define_sparse_matrix(m);