On 13.04.21 21:47, pfeod...@xxxxxxxxx wrote:
> Is there any way that I could use an overridden operator in a temporal
> property? E.g. `prop` is a `PROPERTY` and `MyOperator` is overridden by
> a Java method.
> prop ==
> It works when not overridden, otherwise it gives me the following error
> (using the `TLAPlusOperator` interface)
> Error: In evaluation, the identifier mainVar is either undefined or not
> an operator.
> I'm doing this for a personal project and I understand that the
> evaluation of temporal properties is complex enough that I guess I
> should not be able to do this, but who knows.
pretty much all standard operators are overridden. Please open a Github
issue with more detail.
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/018dfe06-2b29-3362-50b2-c97ff7fe721b%40lemmster.de.