🎨 reduce PR diff

Signed-off-by: burgholzer <burgholzer@me.com>
cda-tum · Nov 9, 2023 · ee7e2d4 · ee7e2d4
1 parent 5b9b8d0
commit ee7e2d4
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 6 deletions.
diff --git a/include/checker/dd/simulation/StateGenerator.hpp b/include/checker/dd/simulation/StateGenerator.hpp
@@ -8,7 +8,6 @@
 #include "StateType.hpp"
 #include "algorithms/RandomCliffordCircuit.hpp"
 #include "checker/dd/TaskManager.hpp"
-#include "dd/Node.hpp"
 #include "dd/Package.hpp"
 #include "dd/Simulation.hpp"
 
@@ -154,9 +153,8 @@ class StateGenerator {
     // add |0> edges for all the ancillary qubits
     auto initial = stabilizer;
     for (std::size_t p = randomQubits; p < totalQubits; ++p) {
-      initial = dd->makeDDNode(
-          static_cast<dd::Qubit>(p),
-          std::array<dd::vEdge, 2>{initial, qc::VectorDD::zero()});
+      initial = dd->makeDDNode(static_cast<dd::Qubit>(p),
+                               std::array{initial, qc::VectorDD::zero()});
     }
 
     // return the resulting decision diagram

diff --git a/src/checker/zx/ZXChecker.cpp b/src/checker/zx/ZXChecker.cpp
@@ -41,7 +41,6 @@ ZXEquivalenceChecker::ZXEquivalenceChecker(const qc::QuantumComputation& circ1,
     dPrime.makeAncilla(
         anc, static_cast<zx::Qubit>(p2.at(static_cast<qc::Qubit>(anc))));
   }
-
   miter.invert();
   miter.concat(dPrime);
 }

diff --git a/src/mqt/qcec/verify.py b/src/mqt/qcec/verify.py
@@ -10,7 +10,6 @@
 
     from .configuration import ConfigurationOptions
 
-
 from . import Configuration, EquivalenceCheckingManager
 from .configuration import augment_config_from_kwargs
 from .parameterized import __is_parameterized, check_parameterized