[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Functions in the standard libraries



Hello,
           I was looking for functions to get the ASCII value of characters but realized I couldn't
find a list of all functions available. Should I look for a facility to add my own functions ?
I posted the code in https://stackoverflow.com/questions/74801070/syntax-errors-in-pluscal-code-for-bayermoore-algorithm

Can I check if the code returns the correct value before checking the model and state spaces ? The state space for this is enormous anyway.

Thanks,
Mohan

--
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/6c72f651-82f0-416c-b01f-744a7bef5662n%40googlegroups.com.