[eclipse-users] elements/3 with a list of variables

From: B. Ottens <bottens_at_...66...>
Date: Tue, 21 Aug 2007 12:21:07 +0200 (CEST)
I have two lists of variables, Xm and Xn and want to implement the
following constraints, where each variable in Xm represents an index of Xn
and vice versa.

forall n Xm[Xn[n]] = n
forall n Xn[Xm[n]] = n

However, I cannot do this using element/3 because it requires that the
list does not contain any variables.

I hope that someone has some suggestions as to how to solve this.


Received on Tue Aug 21 2007 - 11:21:14 CEST

This archive was generated by hypermail 2.3.0 : Sun Aug 25 2019 - 00:14:50 CEST