Two questions regarding lib(fd).

From: Ole Tranberg <>
Date: Sat 07 Sep 2002 09:21:56 AM GMT
Message-Id: <>

I have looked at the "roster.ecl"-example from the ic-parc website. I have tried 
to understand what is going on but there is one confusing clause.

>From the roster.ecl:

    try_day_off(X) :- X #= r of shift.
    try_day_off(X) :- X #\= r of shift.

Why does this give sense?

The other quetion is this:

What is the difference of '#\=' and '##'? The description is the same:

  ?X #\= ?Y
  X is different from Y.
  ?X A linear term.
  ?Y A linear term.
   This constraints states that the two linear terms are not equal.  It is
   suspended until at most one variable appears in it and then its domain
   is updated so that the constraint is satisfied.

Thanks in advance.

Ole Tranberg
Received on Sat Sep 07 10:23:25 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:16 PM GMT GMT