Results: Keep timestamps index table.

opt-result
Pierre-Antoine 2026-06-19 15:25:40 +02:00
parent 9c66021b53
commit ecb2544cab
2 changed files with 11 additions and 0 deletions

View File

@ -215,6 +215,12 @@ class Results(SQLSubModel):
def get(self, key):
return self._meta_data[key]
def set_timestamp_index(self, index):
self._ts_index = index
def get_timestamp_id(self, ts):
return self._ts_index[ts]
def reload(self):
return self._solver.results(
self._study,

View File

@ -1174,6 +1174,11 @@ class Mage8(Mage):
endline()
end = newline().size <= 0
ts_index = {}
for i, t in enumerate(sorted(ts)):
ts_index[t] = i
results.set_timestamp_index(ts_index)
table = {}
for k in tmp_table:
table[k] = np.array(tmp_table[k])