🎨 Test trait setup

include/mqt-core/na/operations/Op.hpp

@@ -11,18 +11,28 @@
 
 #include <ostream>
 #include <string>
+#include <type_traits>
 
 namespace na {
-class Op {
+template <typename ConcreteType, template <typename T> class... Traits>
+class Op : public Traits<ConcreteType>... {
 public:
   Op() = default;
   virtual ~Op() = default;
   [[nodiscard]] virtual auto toString() const -> std::string = 0;
   friend auto operator<<(std::ostream& os, const Op& obj) -> std::ostream& {
     return os << obj.toString(); // Using toString() method
   }
-  template <class T> [[nodiscard]] auto is() const -> bool {
-    return dynamic_cast<const T*>(this) != nullptr;
+  /// Checks whether the object has the template parameter as a trait.
+  template <template <typename T> class Trait>
+  [[nodiscard]] auto hasTrait() const -> bool {
+    return std::disjunction_v<
+        std::is_same<Trait<ConcreteType>, Traits<ConcreteType>>...>;
+  }
+  /// Checks whether the template parameter is the same type as the concrete
+  /// type of the object.
+  template <typename T> [[nodiscard]] auto is() const -> bool {
+    return std::is_same_v<T, ConcreteType>;
   }
   template <class T> [[nodiscard]] auto as() -> T& {
     return dynamic_cast<T&>(*this);