Yves Jaradin wrote:
mark richardson wrote :
Hi,
Nice to see the users list back up and running.
I have a problem with a constraint model I'm trying to build.
Essentially I'm building a model of a virtual world.
Characters in the world are represented by FS's and actions between
them by FD integers.
I've modelled this as a record of FS's to represent recipients of an
action, the feature value being the originator of an action.
Then I've mapped a list of FD integers to this so in essence I would
have
'world(.... 4:5#{2 3 5}.....)'
to represent an interaction referenced by the value 5 between
character 4 and the set of characters {2 3 5}.
The problem is that the first argument to unionN must be a vector
(list or record) of FS but the second must be a single FS. You were
giving it two vectors.
Thanks for your help, by the time this message had been accepted by the
list I'd already found out how to use partition to achieve the same thing.
But, I do have another problem that I'm REALLY stuck on.
My propagators are implemented as threads inside compiled functors and
before I started using a list of FD integers they worked perfectly. They
all take the form of:
if <FDint>==<some-value> then <post constraint on associated FS set>
I'm stuck at the moment applying cardinality rules to each set. The
cardinality is different depending on the value of the FD integer.
And the FD integers are distributed using a random 'generic' strategy.
What I can't seem to get right is how to iterate through the list of FD
integers in a thread.
Basically what I have at present (what is executed within the script) is:
thread
{List.forAllInd <FD list>
proc {$ I X}
.
<get Min and MAX cardinality from object referenced by X}
.
{FS.cardRange Min Max <FS set>.I}
end}
end
I had also tried using FD reflection but couldn't get this to work
either. I've just tried moving the 'List.forAllInd' outside the thread
definition so that each item in the FD list gets a separate thread, but
again that didn't work.
I'm 99% certain my problem is to do with the iteration through the FD
list + the FD list having undetermined values but I can't think how else
to do this.
If anyone can help I would be eternally grateful.
Regards
Mark
--
Mark Richardson MBCS
Research Assistant
University of Teesside, UK
Email: [email protected]
[email protected]
Skype: mark.richardson.
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
