4 benchmark suite setup

include/Executor.hpp

@@ -0,0 +1,17 @@
+//
+// Created by Tianyi Wang on 5/14/23.
+//
+
+#ifndef DD_EVAL_EXECUTOR_HPP
+#define DD_EVAL_EXECUTOR_HPP
+
+#endif // DD_EVAL_EXECUTOR_HPP
+
+#include "Task.hpp"
+
+class Executor {
+private:
+  Task* task;
+};
+
+void executeTask(Task* task) { task->execute(); }

include/Result.hpp

@@ -0,0 +1,27 @@
+//
+// Created by Tianyi Wang on 5/14/23.
+//
+
+#ifndef DD_EVAL_RESULT_HPP
+#define DD_EVAL_RESULT_HPP
+
+#include "ResultBase.hpp"
+
+#include <nlohmann/json.hpp>
+#include <string>
+
+using json = nlohmann::json;
+
+class Result : public ResultBase {
+public:
+  Result(const std::string& name, double value);
+
+  json        toJson() const override;
+  std::string toString() const override;
+
+private:
+  std::string name_;
+  double      value_;
+};
+
+#endif // DD_EVAL_RESULT_HPP

include/ResultBase.hpp

@@ -0,0 +1,20 @@
+//
+// Created by Tianyi Wang on 5/15/23.
+//
+
+#ifndef DD_EVAL_RESULTBASE_HPP
+#define DD_EVAL_RESULTBASE_HPP
+
+#include <nlohmann/json.hpp>
+
+using json = nlohmann::json;
+
+class ResultBase {
+public:
+  virtual ~ResultBase() = default;
+
+  virtual json        toJson() const   = 0;
+  virtual std::string toString() const = 0;
+};
+
+#endif // DD_EVAL_RESULTBASE_HPP

include/SimulationTask.hpp

@@ -0,0 +1,17 @@
+//
+// Created by Tianyi Wang on 5/14/23.
+//
+
+#ifndef DD_EVAL_SIMULATIONTASK_HPP
+#define DD_EVAL_SIMULATIONTASK_HPP
+
+#endif // DD_EVAL_SIMULATIONTASK_HPP
+
+#include "Task.hpp"
+
+class SimulationTask : public Task {
+  // public:
+  //     SimulationTask(QuantumCircuit qc);
+  // private:
+  //     QuantumCircuit qc_;
+};

include/Task.hpp

@@ -0,0 +1,15 @@
+//
+// Created by Tianyi Wang on 5/14/23.
+//
+
+#ifndef DD_EVAL_TASK_HPP
+#define DD_EVAL_TASK_HPP
+
+#endif // DD_EVAL_TASK_HPP
+
+#include "Result.hpp"
+
+class Task {
+public:
+  virtual Result execute() = 0;
+};

include/VerificationTask.hpp

@@ -0,0 +1,18 @@
+//
+// Created by Tianyi Wang on 5/14/23.
+//
+
+#ifndef DD_EVAL_VERIFICATIONTASK_HPP
+#define DD_EVAL_VERIFICATIONTASK_HPP
+
+#endif // DD_EVAL_VERIFICATIONTASK_HPP
+
+#include "Task.hpp"
+
+class VerificationTask : public Task {
+  // public:
+  //     VerificationTask(QuantumCircuit qc1, QuantumCircuit qc2);
+  // private:
+  //     QuantumCircuit qc1_;
+  //     QuantumCircuit qc2_;
+};

src/CMakeLists.txt

@@ -6,26 +6,34 @@ add_subdirectory("${PROJECT_SOURCE_DIR}/extern/ddsim" "extern/ddsim"
 add_subdirectory("${PROJECT_SOURCE_DIR}/extern/qcec" "extern/qcec"
                  EXCLUDE_FROM_ALL)
 
-# add_library( ${PROJECT_NAME} ${PROJECT_SOURCE_DIR}/include/checker
-# ${PROJECT_SOURCE_DIR}/include/Configuration.hpp
-# ${PROJECT_SOURCE_DIR}/include/EquivalenceCriterion.hpp
-# ${PROJECT_SOURCE_DIR}/include/EquivalenceCheckingManager.hpp
-# ${PROJECT_SOURCE_DIR}/include/ThreadSafeQueue.hpp
-# EquivalenceCheckingManager.cpp checker/EquivalenceChecker.cpp
-# checker/dd/DDEquivalenceChecker.cpp checker/dd/DDConstructionChecker.cpp
-# checker/dd/DDSimulationChecker.cpp checker/dd/DDAlternatingChecker.cpp
-# checker/dd/applicationscheme/GateCostApplicationScheme.cpp
-# checker/dd/simulation/StateGenerator.cpp checker/zx/ZXChecker.cpp)
+if(NOT TARGET nlohmann_json)
+  add_subdirectory("${PROJECT_SOURCE_DIR}/extern/ddsim/extern/qfr/extern/json"
+                   "qfr/json" EXCLUDE_FROM_ALL)
+endif()
 
-add_library(${PROJECT_NAME} INTERFACE)
+if(NOT TARGET ${PROJECT_NAME})
+  add_library(
+    ${PROJECT_NAME}
+    ${PROJECT_SOURCE_DIR}/include/Executor.hpp
+    ${PROJECT_SOURCE_DIR}/include/Result.hpp
+    ${PROJECT_SOURCE_DIR}/include/ResultBase.hpp
+    ${PROJECT_SOURCE_DIR}/include/SimulationTask.hpp
+    ${PROJECT_SOURCE_DIR}/include/Task.hpp
+    ${PROJECT_SOURCE_DIR}/include/VerificationTask.hpp
+    Result.cpp
+    SimulationTask.cpp
+    VerificationTask.cpp)
 
-# set include directories
-target_include_directories(
-  ${PROJECT_NAME} INTERFACE ${PROJECT_SOURCE_DIR}/include
-                            ${PROJECT_BINARY_DIR}/include)
+  # set include directories
+  target_include_directories(
+    ${PROJECT_NAME} INTERFACE ${PROJECT_SOURCE_DIR}/include
+                              ${PROJECT_BINARY_DIR}/include)
 
-# link to the MQT libraries
-target_link_libraries(${PROJECT_NAME} INTERFACE MQT::ddsim MQT::qcec)
+  # link to the MQT libraries
+  target_link_libraries(${PROJECT_NAME} INTERFACE MQT::ddsim MQT::qcec)
 
-# add MQT alias
-add_library(MQT::${PROJECT_NAME} ALIAS ${PROJECT_NAME})
+  target_link_libraries(${PROJECT_NAME} PUBLIC nlohmann_json)
+
+  # add MQT alias
+  add_library(MQT::${PROJECT_NAME} ALIAS ${PROJECT_NAME})
+endif()

src/Result.cpp

@@ -0,0 +1,17 @@
+//
+// Created by Tianyi Wang on 5/14/23.
+//
+
+#include "../include/Result.hpp"
+
+Result::Result(const std::string& name, double value)
+    : name_(name), value_(value) {}
+
+json Result::toJson() const {
+  json resultJson;
+  resultJson["name"]  = name_;
+  resultJson["value"] = value_;
+  return resultJson;
+}
+
+std::string Result::toString() const { return toJson().dump(); }

src/SimulationTask.cpp

@@ -0,0 +1,6 @@
+//
+// Created by Tianyi Wang on 5/14/23.
+//
+
+#include "../include/SimulationTask.hpp"
+// take one circuit

src/VerificationTask.cpp

@@ -0,0 +1,6 @@
+//
+// Created by Tianyi Wang on 5/14/23.
+//
+
+#include "../include/VerificationTask.hpp"
+// take two circuits