Jorge Marques Pelizzoni a écrit :
Let's assume {self getForbiddenValues(I L)} returns a list of forbidden vales in
L given I. Then you might define:
%% AUXILIARY
proc {FdAsSet D M} % defines a singl set containing an FD
{FS.var.decl M}
{FS.card M 1}
{FS.include D M}
end
proc {BoolDotSet B S Result} % if B == 1 then S = Result else Result = Empty
{FS.var.decl Result}
{FS.subset Result S}
{FD.bool B}
B =<: {FS.reified.equal S Result}
({FS.card Result}\=:0) =<: B
end
%% Inside your class definition:
meth forbid(T N)
ElemSet = {FS.unionN {Record.map T FdAsSet}}
in
for Cur in 0..N do
CurIsIn = {FS.reified.include Cur ElemSet}
NoNos = {FS.value.make {self getForbiddenValues(Cur $)}}
CondNoNos = {BoolDotSet CurIsIn NoNos}
in
{FS.disjoint ElemSet CondNoNos}
end
end
Thanks a lot for this elegant solution to my problem !
Cheers,
Kim
That should yield good propagation. Cheers,
Jorge.
Quoting Kim BENNI <[EMAIL PROTECTED]>:
Hello,
Is it possible to translate in Oz in term of propagators this
"tuple-self-reference" constraint ?
Here it is :
%C is a tuple of M integers between 0 and N
{FD.tuple ProblemeDecoupage M 0#N C}
%All values are pairwise distinct in that tuple
{FD.distinct C}
%If a value is present in the tuple (for example C.1 = 1) then values 2,
3 and 7 are forbidden in the rest of the tuple
%I tried this but it doesn't worked :
Variable = (C.J =: I) %First
Contrainte = (C.J \=: {self getForbiddenValue(C.J)}) %Second
{FD.impl Variable Contrainte 1} % I wonder if this really "bind" the
second constraint to the first, as it is implied by the documentation's
"->" sign ... Therefore, the second constraint should be implied only if
the first is verified ?
By the way, are there (undocumented ?) propagators able to work with an
entire tuple at a time ? Being able to forbid a value IF another value
is present in the tuple would be great.
Any advise or help would be very appreciated !
Thanks !
Kim
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
