minizinc - MiniZinc 中的 $ 是什么意思？

Question

我在MiniZinc 手册（主要在参考手册部分）的各个地方看到了 $ 使用，但我一直无法找到定义。有人会向我解释一下吗？谢谢。

标签： minizinc

Answer 1

MiniZinc 支持三种基本类型，{int, float, bool }. 该文档$T用作该集合中包含的任何类型的占位符，因此不必提供每个函数签名的三个版本，每个基本类型一个。

我猜这种语法风格是受到 的启发shell，其中符号$T用于取消引用名称T，它通常会产生与此类名称/内存位置相对应的值。

也可以将其$T视为语言中的模板， 实现完全相同的目的。typename/classC++

// MiniZinc Docs
set of  $U:    array_union(array[$T]  of     set of  $U)

// C++-like style
template <class T, class U>
set<U> array_union(map< T, set<U> >);