0
我使用方法closure()进行关系时出现问题。如果有人能够解释传递闭包在KodKod中是如何工作的。KodKod中的传递闭包
让我们举个例子:
Relation r1 = Relation.nary("r1",4);
Relation r2 = Relation.binary("r2");
Relation i = Relation.unary("i");
Relation j = Relation.unary("j");
Formula f = r.in(r2.product(i).product(j));
,我想知道怎么说:在一个变量k Oneof(J)没有关系的传递闭包R1
是的,我已经完成了,我只是通过添加一些连接来制作关系二进制文件,但它的工作原理非常感谢您。 –