public GraphManager(List<Connection> connections, List<GraphElement> elements) { Connections = connections; Elements = elements; }