Feature/TwoQubitEncoding

include/cliffordsynthesis/encoding/GateEncoder.hpp

@@ -18,8 +18,7 @@ namespace cs::encoding {
 class GateEncoder {
 public:
   GateEncoder(const std::size_t nQubits, const std::size_t tableauSize,
-              const std::size_t                      timestepLimit,
-              const std::size_t                      numberOfLayers,
+              const std::size_t timestepLimit, const std::size_t numberOfLayers,
               TableauEncoder::Variables*             tableauVars,
               std::shared_ptr<logicbase::LogicBlock> logicBlock)
       : N(nQubits), S(tableauSize), T(timestepLimit), L(numberOfLayers),
@@ -43,8 +42,7 @@ class GateEncoder {
   // variable creation
   virtual void createSingleQubitGateVariables();
   virtual void createTwoQubitGateVariables();
-  void addIdentityGateToTQGVariables();
-
+  void         addIdentityGateToTQGVariables();
 
   // encode the relation between the tableaus and the gates
   virtual void encodeGates() {

src/cliffordsynthesis/encoding/GateEncoder.cpp

@@ -52,15 +52,17 @@ void GateEncoder::createTwoQubitGateVariables() {
 }
 
 void encoding::GateEncoder::addIdentityGateToTQGVariables() {
-  DEBUG() << "Creating identity gate variables for TQG variables in the STQEncoding.";
+  DEBUG() << "Creating identity gate variables for TQG variables in the "
+             "STQEncoding.";
   for (std::size_t t = 0U; t < T; ++t) {
     auto& timeStep = vars.gC[t];
     for (std::size_t ctrl = 0U; ctrl < N; ++ctrl) {
       auto& control = timeStep[ctrl];
 
       // Add I to the two qubit gates
       const std::string gName = "g_" + std::to_string(t) + "_" +
-                                toString(qc::OpType::None) + "_" + std::to_string(ctrl);
+                                toString(qc::OpType::None) + "_" +
+                                std::to_string(ctrl);
       TRACE() << "Creating variable " << gName;
       control.emplace_back(lb->makeVariable(gName));
     }