Merge pull request #203 from SimonRohou/codac2_dev

[py] added binding for CtcDist
codac-team · Feb 14, 2025 · 624706e · 624706e
2 parents df56c0b + d4d9349
commit 624706e
Show file tree

Hide file tree

Showing 3 changed files with 38 additions and 0 deletions.
diff --git a/python/src/core/CMakeLists.txt b/python/src/core/CMakeLists.txt
@@ -15,6 +15,7 @@
     contractors/codac2_py_CtcAction.cpp
     contractors/codac2_py_CtcCartProd.cpp
     contractors/codac2_py_CtcCtcBoundary.cpp
+    contractors/codac2_py_CtcDist.cpp
     contractors/codac2_py_CtcEmpty.cpp
     contractors/codac2_py_CtcFixpoint.cpp
     contractors/codac2_py_CtcInnerOuter.cpp

diff --git a/python/src/core/codac2_py_core.cpp b/python/src/core/codac2_py_core.cpp
@@ -34,6 +34,7 @@ py::class_<CtcBase<IntervalVector>,pyCtcIntervalVector> export_CtcIntervalVector
 void export_CtcAction(py::module& m, py::class_<CtcBase<IntervalVector>,pyCtcIntervalVector>& ctc);
 void export_CtcCartProd(py::module& m, py::class_<CtcBase<IntervalVector>,pyCtcIntervalVector>& ctc);
 void export_CtcCtcBoundary(py::module& m, py::class_<CtcBase<IntervalVector>,pyCtcIntervalVector>& ctc);
+void export_CtcDist(py::module& m, py::class_<CtcBase<IntervalVector>,pyCtcIntervalVector>& ctc);
 void export_CtcEmpty(py::module& m, py::class_<CtcBase<IntervalVector>,pyCtcIntervalVector>& ctc);
 void export_CtcFixpoint(py::module& m, py::class_<CtcBase<IntervalVector>,pyCtcIntervalVector>& ctc);
 void export_CtcIdentity(py::module& m, py::class_<CtcBase<IntervalVector>,pyCtcIntervalVector>& ctc);
@@ -137,6 +138,7 @@ PYBIND11_MODULE(_core, m)
   export_CtcAction(m, py_ctc_iv);
   export_CtcCartProd(m, py_ctc_iv);
   export_CtcCtcBoundary(m, py_ctc_iv);
+  export_CtcDist(m, py_ctc_iv);
   export_CtcEmpty(m, py_ctc_iv);
   export_CtcFixpoint(m, py_ctc_iv);
   export_CtcIdentity(m, py_ctc_iv);

diff --git a/python/src/core/contractors/codac2_py_CtcDist.cpp b/python/src/core/contractors/codac2_py_CtcDist.cpp
@@ -0,0 +1,35 @@
+/** 
+ *  Codac binding (core)
+ * ----------------------------------------------------------------------------
+ *  \date       2024
+ *  \author     Simon Rohou
+ *  \copyright  Copyright 2024 Codac Team
+ *  \license    GNU Lesser General Public License (LGPL)
+ */
+
+#include <pybind11/pybind11.h>
+#include <pybind11/operators.h>
+#include <pybind11/stl.h>
+#include <codac2_template_tools.h>
+#include <codac2_CtcDist.h>
+#include "codac2_py_Ctc.h"
+#include "codac2_py_CtcDist_docs.h" // Generated file from Doxygen XML (doxygen2docstring.py):
+
+using namespace std;
+using namespace codac2;
+namespace py = pybind11;
+using namespace pybind11::literals;
+
+void export_CtcDist(py::module& m, py::class_<CtcBase<IntervalVector>,pyCtcIntervalVector>& pyctc)
+{
+  py::class_<CtcDist> exported(m, "CtcDist", pyctc, CTCDIST_MAIN);
+  exported
+
+    .def(py::init<>(),
+      CTCDIST_CTCDIST)
+
+    .def(CONTRACT_BOX_METHOD(CtcDist,
+      VOID_CTCDIST_CONTRACT_INTERVALVECTOR_REF_CONST))
+
+  ;
+}