constraint-programming - 如何在 minizinc 中返回变量的类型？

Question

我想做这样的事情：

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

我希望这能输出enum。我似乎无法从文档中找到如何做到这一点。

Answer 1

MiniZinc 目前不包含任何允许您获取类型名称的反射操作。

您的示例实际上可能不是一个很好的示例，因为enum在这种情况下，关键字在语义上创建了一个新类型COLORS。所以我对type函数将返回什么的直觉是COLORS，而不是enum。

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