---------- Forwarded message ----------
From: Mohamed Rezgui <kyo.al...@gmail.com>
Date: 2014-03-12 20:21 GMT+01:00
Subject: Fwd: [gecode-users] Multi-objective Model with
Searchcombinators in Gecode
To: Guido Tack <t...@gecode.org>
Dear Guido,
I compile successfully searchcombinators with gecode 4.2.1 (I change
with the appropriate API).
I would like to know how can I set 3 ou several objectives (on
lexicographic multi-objective) please ?
I test with different approaches and it does not work.
Other question how can I print pretty like output with trace_solution
I found a bug with concatenation "*" ++ "\n" (it does not work).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
include "globals.mzn";
include "searchcombinators.mzn";
annotation lexicoMinimize3obj(var int: obj1, var int: obj2, var int:
obj3, ann: s) =
let {
%% minimise => svar int: best1 = ub(obj1)
%% maximize => svar int: best1 = lb(obj1)
svar int: best1 = ub(obj1),
%% minimise => svar int: best2 = ub(obj3)
%% maximize => svar int: best2 = lb(obj3)
svar int: best2 = ub(obj2),
%% minimise => svar int: best2 = ub(obj3)
%% maximize => svar int: best2 = lb(obj3)
svar int: best3 = ub(obj3)
}
in (
portfolio([
%% minimise => obj1 < lv("best1")
%% maximize => obj1 > lv("best1")
and(
post(obj1 < lv("best1"), and(s,assign(best1,obj1))),
prune
),
%% minimise => obj2 < lv("best2")
%% maximize => obj2 > lv("best2")
post(obj1=lv("best1"),
post(obj2 < lv("best2"), and(s,assign(best2,obj2)))),
%% minimise => obj3 < lv("best3")
%% maximize => obj3 > lv("best3")
post(obj2=lv("best2"),
post(obj3 < lv("best3"), and(s,assign(best3,obj3))))
])
);
% Variables
var 0..10: obj1;
var 1..10: obj2;
var 2..10: obj3;
%% call
solve
:: print([obj1, obj2, obj3], lexicoMinimize3obj(obj1, obj2, obj3,
int_search([obj1, obj3, obj2], input_order, assign_ub)
))
satisfy;
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Best Regards,
Mohammed REZGUI
--
Cordialement,
Mohamed REZGUI
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
