Add dedicated operator== overload between signal and pointer_type

.github/workflows/linux.yml

@@ -81,6 +81,24 @@ jobs:
       run: |
         cd build
         ./test/run_tests "~[quality]"
+  build-gcc10-cpp20:
+    runs-on: ubuntu-latest
+    name: GNU GCC 10 (c++20)
+
+    steps:
+    - uses: actions/checkout@v1
+      with:
+        submodules: true
+    - name: Build mockturtle
+      run: |
+        mkdir build
+        cd build
+        cmake -DMOCKTURTLE_CXX_STANDARD=20 -DCMAKE_CXX_COMPILER=g++-10 -DMOCKTURTLE_TEST=ON ..
+        make run_tests
+    - name: Run tests
+      run: |
+        cd build
+        ./test/run_tests "~[quality]"
   build-clang8:
     runs-on: ubuntu-latest
     name: Clang 8

CMakeLists.txt

@@ -1,7 +1,8 @@
 cmake_minimum_required(VERSION 3.8)
 project(mockturtle LANGUAGES CXX)
 
-set(CMAKE_CXX_STANDARD 17)
+set(MOCKTURTLE_CXX_STANDARD "17" CACHE STRING "C++ standard")
+set(CMAKE_CXX_STANDARD ${MOCKTURTLE_CXX_STANDARD})
 set(CMAKE_CXX_STANDARD_REQUIRED ON)
 
 # Options

include/mockturtle/networks/aig.hpp

@@ -167,6 +167,13 @@ class aig_network
     {
       return {index, complement};
     }
+
+#if __cplusplus > 201703L
+    bool operator==( aig_storage::node_type::pointer_type const& other ) const
+    {
+      return data == other.data;
+    }
+#endif
   };
 
   aig_network()

include/mockturtle/networks/mig.hpp

@@ -150,6 +150,13 @@ class mig_network
     {
       return {index, complement};
     }
+
+#if __cplusplus > 201703L
+    bool operator==( mig_storage::node_type::pointer_type const& other ) const
+    {
+      return data == other.data;
+    }
+#endif
   };
 
   mig_network()

include/mockturtle/networks/xag.hpp

@@ -164,6 +164,13 @@ class xag_network
     {
       return {index, complement};
     }
+
+#if __cplusplus > 201703L
+    bool operator==( xag_storage::node_type::pointer_type const& other ) const
+    {
+      return data == other.data;
+    }
+#endif
   };
 
   xag_network()

include/mockturtle/networks/xmg.hpp

@@ -149,6 +149,13 @@ class xmg_network
     {
       return {index, complement};
     }
+
+#if __cplusplus > 201703L
+    bool operator==( xmg_storage::node_type::pointer_type const& other ) const
+    {
+      return data == other.data;
+    }
+#endif
   };
 
   xmg_network()