Add initial version of gfd validation

Algorithm for checking if a graph functional dependency
satisfies a given graph.
The primitive interface has not yet been implemented, there is
no reading data from a file, graphs are not from the boost lib.

CMakeLists.txt

@@ -53,6 +53,7 @@ include_directories(SYSTEM "lib/easyloggingpp/src" "lib/better-enums/")
 
 # adding submodules
 add_subdirectory("lib/googletest")
+add_subdirectory("lib/eigen")
 
 set( CMAKE_BUILD_TYPE_COPY "${CMAKE_BUILD_TYPE}" )
 set( CMAKE_BUILD_TYPE "Release" )

build.sh

@@ -3,6 +3,7 @@ cd lib
 git clone https://github.com/google/googletest/ --branch release-1.10.0
 git clone https://github.com/amrayn/easyloggingpp/ --branch v9.97.0
 git clone https://github.com/aantron/better-enums.git --branch 0.11.3
+git clone https://github.com/libigl/eigen
 cd ..
 mkdir build
 cd build

src/algorithms/gfd/const_literal.h

@@ -0,0 +1,12 @@
+#pragma once
+#include "literal.h"
+
+class ConstLiteral : public Literal {
+public:
+    ConstLiteral(std::pair<int, std::string> node, std::string value) {
+        this->vars.push_back(node.first);
+
+        this->values.push_back(node.second);
+        this->values.push_back(value);
+    }
+};

src/algorithms/gfd/gfd.cpp

@@ -0,0 +1,33 @@
+#include <iostream>
+
+#include "gfd.h"
+
+void GFD::print() const {
+	this->pattern.print();
+	std::cout << std::endl << "Premises:   ";
+	for (const Literal& l : this->premises) {
+		std::vector<int> vars = l.getVars();
+		std::vector<std::string> values = l.getValues();
+		if (vars.size() == 1) {
+			// ConstLiteral
+			std::cout << vars.at(0) << "." << values.at(0) << "=" << values.at(1) << "; ";
+		} else {
+			// VarLiteral
+			std::cout << vars.at(0) << "." << values.at(0) << "="
+				<< vars.at(1) << "." << values.at(1) << "; ";
+		}
+	}
+	std::cout << std::endl << "=>" << std::endl << "Conclusion: ";
+	for (const Literal& l : this->conclusion) {
+		std::vector<int> vars = l.getVars();
+		std::vector<std::string> values = l.getValues();
+		if (vars.size() == 1) {
+			// ConstLiteral
+			std::cout << vars.at(0) << "." << values.at(0) << "=" << values.at(1) << "; ";
+		} else {
+			// VarLiteral
+			std::cout << vars.at(0) << "." << values.at(0) << "="
+				<< vars.at(1) << "." << values.at(1) << "; ";
+		}
+	}
+}

src/algorithms/gfd/gfd.h

@@ -0,0 +1,20 @@
+#pragma once
+#include <vector>
+
+#include "pattern.h"
+#include "literal.h"
+
+class GFD {
+private:
+    Pattern pattern;
+    std::vector<Literal> premises;
+    std::vector<Literal> conclusion;
+public:
+    GFD(Pattern& pattern_, std::vector<Literal>& premises_, std::vector<Literal>& conclusion_) : pattern(pattern_), premises(premises_), conclusion(conclusion_) {}
+
+    Pattern getPattern() const { return this->pattern; }
+    std::vector<Literal> getPremises() const { return this->premises; }
+    std::vector<Literal> getConclusion() const { return this->conclusion; }
+
+    void print() const;
+};