实际上,我想从 1..N
构建一个 {"1", "2", "3", ..., "N"}
集> 设置。如何将数字转换为字符串?
最佳答案
TLC
模块提供了一个ToString
运算符。
关于formal-verification - 如何在 TLA+ 中将数字转换为字符串,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/66665935/
实际上,我想从 1..N
构建一个 {"1", "2", "3", ..., "N"}
集> 设置。如何将数字转换为字符串?
最佳答案
TLC
模块提供了一个ToString
运算符。
关于formal-verification - 如何在 TLA+ 中将数字转换为字符串,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/66665935/