[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] n-ary Cartesian product
On 20.10.20 05:09, Mariusz Ryndzionek wrote:
> Regarding overriding in Java, is it recommended only for to performance
indeed, Java module overwrites are just a performance optimization for TLC.
Almost all standard modules (Sequences, FiniteSets, ...) and some of the
CommunityModules  come with overwrites. The benchmark at  gives an
intuition of a realistic performance increase^1. Use engineering
judgment to decide if the performance boost warrants the additional
"aNoModuleOverwrite" == baseline with no overwrite
"bModuleOverwrite" == direct translation of TLA+ operator into Java code
"cModuleOverwriteLinear" == Human being clever about the translation
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/186efbac-bdca-a65b-3d59-c9fef7fe1c7d%40lemmster.de.