2016-12-05 12:09:43 +01:00
|
|
|
import os
|
|
|
|
import pickle
|
|
|
|
from collections import OrderedDict
|
2016-12-04 12:50:32 +01:00
|
|
|
|
2016-12-05 12:09:43 +01:00
|
|
|
from django.conf import settings
|
|
|
|
|
2016-12-03 19:09:39 +01:00
|
|
|
from c3nav.mapdata.models import Level
|
2016-12-06 19:39:42 +01:00
|
|
|
from c3nav.mapdata.models.geometry import LevelConnector
|
2016-12-05 13:56:54 +01:00
|
|
|
from c3nav.routing.connection import GraphConnection
|
|
|
|
from c3nav.routing.level import GraphLevel
|
|
|
|
from c3nav.routing.point import GraphPoint
|
|
|
|
from c3nav.routing.room import GraphRoom
|
2016-12-03 19:09:39 +01:00
|
|
|
|
|
|
|
|
2016-12-09 20:01:08 +01:00
|
|
|
class Graph:
|
2016-12-05 12:09:43 +01:00
|
|
|
default_filename = os.path.join(settings.DATA_DIR, 'graph.pickle')
|
|
|
|
|
2016-12-03 19:09:39 +01:00
|
|
|
def __init__(self):
|
2016-12-05 12:09:43 +01:00
|
|
|
self.levels = OrderedDict()
|
2016-12-04 14:03:11 +01:00
|
|
|
for level in Level.objects.all():
|
|
|
|
self.levels[level.name] = GraphLevel(self, level)
|
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
self.rooms = ()
|
|
|
|
self.points = ()
|
2016-12-03 19:09:39 +01:00
|
|
|
self.connections = []
|
|
|
|
|
2016-12-09 20:01:08 +01:00
|
|
|
self.level_transfer_points = []
|
|
|
|
self.levelconnector_points = {}
|
2016-12-05 13:39:22 +01:00
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
# Building the Graph
|
2016-12-03 19:09:39 +01:00
|
|
|
def build(self):
|
|
|
|
for level in self.levels.values():
|
|
|
|
level.build()
|
2016-12-04 12:50:32 +01:00
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
# collect rooms and points
|
2016-12-05 12:09:43 +01:00
|
|
|
self.rooms = sum((level.rooms for level in self.levels.values()), [])
|
2016-12-09 20:01:08 +01:00
|
|
|
self.points = sum((level.points for level in self.levels.values()), [])
|
2016-12-05 12:09:43 +01:00
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
# create connections between levels
|
2016-12-09 20:01:08 +01:00
|
|
|
print()
|
2016-12-04 12:50:32 +01:00
|
|
|
self.connect_levelconnectors()
|
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
# convert everything to tuples
|
|
|
|
self.rooms = tuple(self.rooms)
|
|
|
|
self.points = tuple(self.points)
|
|
|
|
self.connections = tuple(self.connections)
|
|
|
|
|
|
|
|
# give numbers to rooms and points
|
|
|
|
for i, room in enumerate(self.rooms):
|
|
|
|
room.i = i
|
|
|
|
|
|
|
|
for i, point in enumerate(self.points):
|
|
|
|
point.i = i
|
|
|
|
|
2016-12-09 20:01:08 +01:00
|
|
|
print()
|
|
|
|
print('Total:')
|
|
|
|
print('%d points' % len(self.points))
|
|
|
|
print('%d rooms' % len(self.rooms))
|
|
|
|
print('%d level transfer points' % len(self.level_transfer_points))
|
2016-12-05 12:09:43 +01:00
|
|
|
print('%d connections' % len(self.connections))
|
2016-12-09 20:01:08 +01:00
|
|
|
|
2016-12-05 12:09:43 +01:00
|
|
|
print()
|
2016-12-09 20:01:08 +01:00
|
|
|
print('Points per room:')
|
|
|
|
for name, level in self.levels.items():
|
|
|
|
print(('Level %s:' % name), *(sorted((len(room.points) for room in level.rooms), reverse=True)))
|
2016-12-05 12:09:43 +01:00
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
def add_connection(self, from_point, to_point, distance=None):
|
|
|
|
self.connections.append(GraphConnection(self, from_point, to_point, distance))
|
2016-12-05 12:09:43 +01:00
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
def add_levelconnector_point(self, levelconnector, point):
|
|
|
|
self.levelconnector_points.setdefault(levelconnector.name, []).append(point)
|
2016-12-05 12:09:43 +01:00
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
def connect_levelconnectors(self):
|
|
|
|
for levelconnector in LevelConnector.objects.all():
|
|
|
|
center = levelconnector.geometry.centroid
|
|
|
|
points = self.levelconnector_points.get(levelconnector.name, [])
|
|
|
|
rooms = tuple(set(sum((point.rooms for point in points), [])))
|
|
|
|
|
|
|
|
if len(rooms) < 2:
|
|
|
|
print('levelconnector %s on levels %s at (%.2f, %.2f) has <2 rooms (%d%s)!' %
|
|
|
|
(levelconnector.name, ', '.join(level.name for level in levelconnector.levels.all()),
|
|
|
|
center.x, center.y, len(rooms), (' on level '+rooms[0].level.level.name) if rooms else ''))
|
|
|
|
continue
|
|
|
|
|
|
|
|
center_point = GraphPoint(center.x, center.y, rooms=rooms)
|
|
|
|
self.points.append(center_point)
|
|
|
|
|
|
|
|
levels = tuple(set(room.level for room in rooms))
|
|
|
|
for level in levels:
|
|
|
|
level.room_transfer_points.append(center_point)
|
|
|
|
level.points.append(center_point)
|
|
|
|
|
|
|
|
for room in rooms:
|
|
|
|
room.points.append(center_point)
|
|
|
|
|
|
|
|
for point in points:
|
|
|
|
center_point.connect_to(point)
|
|
|
|
point.connect_to(center_point)
|
|
|
|
|
|
|
|
# Loading/Saving the Graph
|
|
|
|
def serialize(self):
|
2016-12-09 20:01:08 +01:00
|
|
|
rooms = tuple((room.level.level.name, room.mpl_clear) for room in self.rooms)
|
|
|
|
points = tuple((point.x, point.y, tuple(room.i for room in point.rooms)) for point in self.points)
|
2016-12-05 13:49:23 +01:00
|
|
|
connections = tuple((conn.from_point.i, conn.to_point.i, conn.distance) for conn in self.connections)
|
2016-12-05 12:09:43 +01:00
|
|
|
|
2016-12-09 20:01:08 +01:00
|
|
|
return rooms, points, connections
|
2016-12-05 12:09:43 +01:00
|
|
|
|
|
|
|
def save(self, filename=None):
|
|
|
|
if filename is None:
|
|
|
|
filename = self.default_filename
|
|
|
|
with open(filename, 'wb') as f:
|
|
|
|
pickle.dump(self.serialize(), f)
|
|
|
|
|
|
|
|
@classmethod
|
|
|
|
def unserialize(cls, data):
|
|
|
|
graph = cls()
|
|
|
|
rooms, points, connections = data
|
|
|
|
|
2016-12-09 20:01:08 +01:00
|
|
|
graph.rooms = [GraphRoom(graph.levels[room[0]], mpl_clear=room[1]) for room in rooms]
|
|
|
|
graph.points = [GraphPoint(point[0], point[1], rooms=tuple(graph.rooms[i] for i in point[2]))
|
|
|
|
for point in points]
|
|
|
|
|
|
|
|
for point in graph.points:
|
|
|
|
for room in point.rooms:
|
|
|
|
room.points.append(point)
|
2016-12-05 12:09:43 +01:00
|
|
|
|
2016-12-09 20:01:08 +01:00
|
|
|
for name, level in graph.levels.items():
|
|
|
|
level.rooms = [room for room in graph.rooms if room.level == level]
|
|
|
|
level.points = list(set(sum((room.points for room in level.rooms), [])))
|
|
|
|
level.room_transfer_points = [point for point in level.points if len(point.rooms) > 1]
|
2016-12-05 12:09:43 +01:00
|
|
|
|
2016-12-05 13:49:23 +01:00
|
|
|
for from_point, to_point, distance in connections:
|
|
|
|
graph.add_connection(graph.points[from_point], graph.points[to_point], distance)
|
2016-12-05 12:09:43 +01:00
|
|
|
|
|
|
|
return graph
|
|
|
|
|
|
|
|
@classmethod
|
|
|
|
def load(cls, filename=None):
|
|
|
|
if filename is None:
|
|
|
|
filename = cls.default_filename
|
|
|
|
with open(filename, 'rb') as f:
|
|
|
|
graph = cls.unserialize(pickle.load(f))
|
|
|
|
return graph
|
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
# Drawing
|
2016-12-06 19:39:42 +01:00
|
|
|
def draw_pngs(self, points=True, lines=True):
|
2016-12-04 12:50:32 +01:00
|
|
|
for level in self.levels.values():
|
2016-12-06 19:39:42 +01:00
|
|
|
level.draw_png(points, lines)
|
2016-12-03 19:09:39 +01:00
|
|
|
|
2016-12-10 12:07:52 +01:00
|
|
|
# Router
|
|
|
|
def build_router(self):
|
|
|
|
for level in self.levels.values():
|
|
|
|
level.build_router()
|