Hi,
I'm trying to develop an interactive simulator for TLA,
In the simulator I want let the user to interactively add invariants (something like watch expressions in traditional debuggers)
is there a way to parse an user supplied _expression_ and link it to a running Tool instance (tlc2.tool.Tool) ?
best regards,
ciprian