cda-tum · dependabot · Oct 3, 2023 · Oct 1, 2023 · Oct 3, 2023
diff --git a/extern/mqt-core b/extern/mqt-core
diff --git a/include/checker/dd/DDSimulationChecker.hpp b/include/checker/dd/DDSimulationChecker.hpp
@@ -19,13 +19,13 @@ class DDSimulationChecker final
   void setRandomInitialState(StateGenerator& generator);
 
   [[nodiscard]] dd::CVec getInitialVector() const {
-    return dd->getVector(initialState);
+    return initialState.getVector();
   }
   [[nodiscard]] dd::CVec getInternalVector1() const {
-    return dd->getVector(taskManager1.getInternalState());
+    return taskManager1.getInternalState().getVector();
   }
   [[nodiscard]] dd::CVec getInternalVector2() const {
-    return dd->getVector(taskManager2.getInternalState());
+    return taskManager2.getInternalState().getVector();
   }
 
   void json(nlohmann::json& j) const noexcept override {

diff --git a/include/checker/dd/applicationscheme/LookaheadApplicationScheme.hpp b/include/checker/dd/applicationscheme/LookaheadApplicationScheme.hpp
@@ -45,11 +45,11 @@ class LookaheadApplicationScheme final
     // compute both possible applications and measure the resulting size
     auto       saved = *internalState;
     const auto dd1   = package->multiply(op1, saved);
-    const auto size1 = package->size(dd1);
+    const auto size1 = dd1.size();
     const auto dd2   = package->multiply(saved, op2);
 
     // greedily chose the smaller resulting decision diagram
-    if (const auto size2 = package->size(dd2); size1 <= size2) {
+    if (const auto size2 = dd2.size(); size1 <= size2) {
       assert(!this->taskManager1.finished());
       *internalState = dd1;
       package->decRef(op1);

diff --git a/src/checker/dd/DDEquivalenceChecker.cpp b/src/checker/dd/DDEquivalenceChecker.cpp
@@ -130,11 +130,11 @@ EquivalenceCriterion DDEquivalenceChecker<DDType, Config>::run() {
 
   // determine maximum number of nodes used
   if constexpr (std::is_same_v<DDType, qc::MatrixDD>) {
-    maxActiveNodes = dd->mUniqueTable.getStats().peakActiveEntryCount;
+    maxActiveNodes = dd->mUniqueTable.getPeakNumActiveEntries();
   }
 
   if constexpr (std::is_same_v<DDType, qc::VectorDD>) {
-    maxActiveNodes = dd->vUniqueTable.getStats().peakActiveEntryCount;
+    maxActiveNodes = dd->vUniqueTable.getPeakNumActiveEntries();
   }
 
   const auto end = std::chrono::steady_clock::now();
+17 −2		.github/workflows/cd.yml
+1 −1		.github/workflows/reusable-change-detection.yml
+1 −2		.github/workflows/reusable-code-ql-cpp.yml
+3 −4		.github/workflows/reusable-code-ql-python.yml
+1 −1		.github/workflows/reusable-cpp-coverage.yml
+1 −1		.github/workflows/reusable-cpp-linter.yml
+1 −1		.github/workflows/reusable-cpp-tests-macos.yml
+1 −1		.github/workflows/reusable-cpp-tests-ubuntu.yml
+1 −1		.github/workflows/reusable-cpp-tests-windows.yml
+2 −2		.github/workflows/reusable-python-ci.yml
+1 −1		.github/workflows/reusable-python-coverage.yml
+1 −1		.github/workflows/reusable-python-linter.yml
+8 −29		.github/workflows/reusable-python-packaging.yml
+1 −1		.github/workflows/reusable-python-tests.yml
+5 −6		.pre-commit-config.yaml
+1 −1		extern/boost/config
+1 −1		extern/googletest
+1 −1		extern/json
+46 −0		include/dd/CachedEdge.hpp
+7 −0		include/dd/Complex.hpp
+27 −25		include/dd/ComputeTable.hpp
+32 −6		include/dd/DDDefinitions.hpp
+28 −32		include/dd/DensityNoiseTable.hpp
+318 −38		include/dd/Edge.hpp
+9 −42		include/dd/MemoryManager.hpp
+5 −0		include/dd/Node.hpp
+22 −10		include/dd/NoiseFunctionality.hpp
+45 −627		include/dd/Package.hpp
+1 −1		include/dd/RealNumberUniqueTable.hpp
+2 −2		include/dd/Simulation.hpp
+20 −30		include/dd/StochasticNoiseOperationTable.hpp
+27 −30		include/dd/UnaryComputeTable.hpp
+111 −35		include/dd/UniqueTable.hpp
+0 −94		include/dd/UniqueTableStatistics.hpp
+66 −0		include/dd/statistics/MemoryManagerStatistics.hpp
+293 −0		include/dd/statistics/PackageStatistics.hpp
+32 −0		include/dd/statistics/Statistics.hpp
+68 −0		include/dd/statistics/TableStatistics.hpp
+28 −0		include/dd/statistics/UniqueTableStatistics.hpp
+13 −1		include/operations/ClassicControlledOperation.hpp
+42 −0		include/operations/CompoundOperation.hpp
+35 −0		include/operations/NonUnitaryOperation.hpp
+32 −1		include/operations/Operation.hpp
+26 −0		include/operations/StandardOperation.hpp
+6 −0		include/operations/SymbolicOperation.hpp
+3 −3		include/python/pybind11.hpp
+3 −3		noxfile.py
+4 −1		pyproject.toml
+14 −14		src/CircuitOptimizer.cpp
+1 −1		src/algorithms/QPE.cpp
+5 −1		src/dd/CMakeLists.txt
+33 −0		src/dd/CachedEdge.cpp
+4 −0		src/dd/Complex.cpp
+2 −2		src/dd/ComplexNumbers.cpp
+408 −50		src/dd/Edge.cpp
+15 −25		src/dd/MemoryManager.cpp
+1 −1		src/dd/Operations.cpp
+13 −11		src/dd/RealNumberUniqueTable.cpp
+4 −6		src/dd/Simulation.cpp
+0 −55		src/dd/UniqueTableStatistics.cpp
+97 −0		src/dd/statistics/MemoryManagerStatistics.cpp
+11 −0		src/dd/statistics/Statistics.cpp
+64 −0		src/dd/statistics/TableStatistics.cpp
+29 −0		src/dd/statistics/UniqueTableStatistics.cpp
+7 −0		src/operations/NonUnitaryOperation.cpp
+91 −0		src/operations/StandardOperation.cpp
+60 −0		src/operations/SymbolicOperation.cpp
+11 −28		src/python/CMakeLists.txt
+2 −2		src/python/module.cpp
+3 −1		src/python/qiskit/QuantumCircuit.cpp
+2 −0		test/CMakeLists.txt
+7 −7		test/algorithms/eval_dynamic_circuits.cpp
+2 −4		test/algorithms/test_entanglement.cpp
+8 −8		test/algorithms/test_grover.cpp
+18 −18		test/algorithms/test_qft.cpp
+9 −10		test/algorithms/test_qpe.cpp
+17 −16		test/dd/test_complex.cpp
+14 −14		test/dd/test_dd_noise_functionality.cpp
+451 −0		test/dd/test_edge_functionality.cpp
+155 −105		test/dd/test_package.cpp
+275 −9		test/unittests/test_qfr_functionality.cpp