GKAEdge: Prädikatsfunktionen hinzugefügt
GraphController: Standartgraph-Typ geändert auf Directed und Weighted
Merge branch 'master' of https://github.com/Timmay24/GKA
Merge branch 'master' of https://github.com/Timmay24/GKA

Conflicts:
	src/controller/GKAEdge.java