On 5/18/06, Mary Aranda Cabezas <[EMAIL PROTECTED]> wrote:
I need to know why the Oz Explorer to show a time inconsistent?, because
every time I run the same script Oz Explorer to change the time. I need to
find a time more consistent, Can I do?
In order to measure time for a constraint problem the best way i have
found so far is to use {Property.get 'time.total'} .
X = {Property.get 'time.total'}
%%...run your program
{System.show {Property.get 'time.total'}-X}
Another suggestion is to use Search instead of explorer to get more
accurate results. The Explorer uses some extra (time consuming) things
is not the right way to measure.
Other thing, I worked this distribution strategy:
{FD.distribute generic(order: size
filter: undet
select: id
value: fun {$ Row}{FD.reflect.max Row}end ) Row}
size select the leftmost variable, whose domain is minimal. It's possible to
change size for other thing in order that select the variable whose domain
is maximal.
fun{NewOrder X Y}
%%something that returns true if X should be distributed before Y
end
{FD.distribute generic(order:NewOrder filter:undet select:id
value:fun{$ Row} ... end) Row}
Regards,
--
Gustavo Gutierrez
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
