我如何 return minizinc 中的变量类型？

Question

我想做这样的事情：

enum COLORS = {"green", "red", "blue"};
output [show(type(COLORS)];

我希望这会输出 enum。我似乎无法从文档中找到如何执行此操作。

Answer 1

MiniZinc 当前不包含任何 reflection operations 允许您获取类型名称的内容。

您的示例实际上可能不是很好，因为 enum 关键字在语义上创建了一个新类型，在本例中为 COLORS。所以我对 type 函数 return 的直觉是 COLORS，而不是 enum。

如果您觉得这可能是一个有用的功能（并且您可能有一个使用它的更广泛的示例），那么您可以向 MiniZinc 问题跟踪器提交问题：https://github.com/MiniZinc/libminizinc/issues

How do I return the type of a variable in minizinc?