From 1727b84be098ccc4352ac373c2f7325421d42675 Mon Sep 17 00:00:00 2001
From: Lionel GUEZ <guez@lmd.ens.fr>
Date: Mon, 11 Sep 2023 14:30:44 +0200
Subject: [PATCH] Do not save fast edge removal property
This is not needed for further processing of the graph.
---
Trajectories/segments.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/Trajectories/segments.py b/Trajectories/segments.py
index c4c67d45..0f93ecec 100755
--- a/Trajectories/segments.py
+++ b/Trajectories/segments.py
@@ -101,6 +101,7 @@ print("Number of edges:", g.num_edges())
print("Internal properties:")
g.list_properties()
print('Saving graph...')
+g.set_fast_edge_removal(False)
g.save(sys.argv[2])
t1 = time.perf_counter()
timings_file.write(f'Done saving in {t1 - t0:.0f} s\n')
--
GitLab