Implement efficient GFD validation algorithm

The algorithm checking the satisfiability of GFD.
Uses CPI algorithm as a subgraph search.

src/core/algorithms/algorithm_types.h

@@ -6,10 +6,11 @@
 
 namespace algos {
 
-using AlgorithmTypes =
-        std::tuple<Depminer, DFD, FastFDs, FDep, Fd_mine, Pyro, Tane, FUN, hyfd::HyFD, Aid, Apriori,
-                   metric::MetricVerifier, DataStats, fd_verifier::FDVerifier, HyUCC, PyroUCC,
-                   cfd::FDFirstAlgorithm, ACAlgorithm, UCCVerifier, Faida, GfdValidation>;
+using AlgorithmTypes = std::tuple<Depminer, DFD, FastFDs, FDep, Fd_mine, Pyro, Tane, FUN,
+                                  hyfd::HyFD, Aid, Apriori, metric::MetricVerifier, DataStats,
+                                  fd_verifier::FDVerifier, HyUCC, PyroUCC, cfd::FDFirstAlgorithm,
+                                  ACAlgorithm, UCCVerifier, Faida, GfdValidation, EGfdValidation>;
+
 // clang-format off
 /* Enumeration of all supported non-pipeline algorithms. If you implement a new
  * algorithm please add its corresponding value to this enum and to the type
@@ -61,8 +62,13 @@ BETTER_ENUM(AlgorithmType, char,
 =======
 
 /* Graph functional dependency mining algorithms */
+<<<<<<< HEAD
     gfdvalid
 >>>>>>> Implement baseline GFD validation algorithm
+=======
+    gfdvalid,
+    egfdvalid
+>>>>>>> Implement efficient GFD validation algorithm
 )
 // clang-format on
 

src/core/algorithms/algorithms.h

@@ -39,4 +39,5 @@
 #include "algorithms/ind/faida/faida.h"
 
 /* Graph functional dependency mining algorithms */
+#include "algorithms/gfd/egfd_validation.h"
 #include "algorithms/gfd/gfd_validation.h"