Kappa-Dev/KappaTools

The Replay module ignores tokens

Opened this issue · 0 comments

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;
}