Currently, the Replay module ignores tokens. This prevents external tools such as KaTie to perform queries involving tokens (e.g. jonathan-laurent/KaTie#21 from @hmedina ). The simplest fix would be to add a field tokens: (string * Nbr.t) array to the state type and ensure that rule applications correctly update this field.
|
type state = { |
|
graph : Edges.t; |
|
time : float; |
|
event : int; |
|
connected_components : Agent.SetMap.Set.t Mods.IntMap.t option; |
|
} |
Currently, the Replay module ignores tokens. This prevents external tools such as KaTie to perform queries involving tokens (e.g. jonathan-laurent/KaTie#21 from @hmedina ). The simplest fix would be to add a field
tokens: (string * Nbr.t) arrayto thestatetype and ensure that rule applications correctly update this field.KappaTools/core/simulation/replay.mli
Lines 11 to 16 in 3e5eb6e