Menu
▾
▴
Re: [Choco-users] Choco-users Digest, Vol 10, Issue 1
|
From: Fatma C. <cel...@gm...> - 2007-11-07 08:46:40
|
Hi Eran,
'gap' : for evaluating if there is any gap between the start time of two
tasks.
IntDomainVar[] gap = pb.makeEnumIntVarArray("gap?", schedulingInterval, 0,
1);
'jitters_data': jitter value of every task (constant).
int[] jitters_data = new int[]{2,1};
I can only schedule the tasks in an oreder T1T2 if T2's jitter value is
greater than T1's execution time (int[] wcets_data = new int[]{1,2};).
(tasks should start one after another at any time within the scheduling
interval without any gap)
with this example : jitters_data = {2,1}; wcets_data = {1,2} for the tasks
T1 and T2 the execution order can just be T1T2 cos T2T1 can not fulfill the
jitter constraints (T1 jitter < T2 execution,wcet, time)
I hope, this time is clearer :)
thanks for your help :)
cheers,
Fatma
On 11/7/07, eran shaham <era...@gm...> wrote:
>
> Hi,
>
> Before i can help, i get some comilation problems:
> What is `gap`?
> (from: impl[m] = pb.ifThen(pb.and(pb.leq(starts[t2], m),
> pb.geq(starts[t1], m)), pb.eq(gap[m], 0));)
>
> What is `jitters_data` ?
> (from: pb.distanceLT(starts[t1], starts[t2],
> jitters_data[i] + 1)), pb.eq
> (starts_task[t1],
> starts[t2]));
>
> Cheers,
> Eran
>
> ---------- Forwarded message ----------
> From: cho...@li...
> <cho...@li...>
> Date: Nov 6, 2007 10:10 PM
> Subject: Choco-users Digest, Vol 10, Issue 1
> To: cho...@li...
>
>
> Send Choco-users mailing list submissions to
> cho...@li...
>
> To subscribe or unsubscribe via the World Wide Web, visit
> https://lists.sourceforge.net/lists/listinfo/choco-users
> or, via email, send a message with subject or body 'help' to
> cho...@li...
>
> You can reach the person managing the list at
> cho...@li...
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Choco-users digest..."
>
>
> Today's Topics:
>
> 1. choco.bool.BinConjunction casting problem (Fatma Celik)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Tue, 6 Nov 2007 08:30:17 +0100
> From: "Fatma Celik" <cel...@gm...>
> Subject: [Choco-users] choco.bool.BinConjunction casting problem
> To: cho...@li...
> Message-ID:
> <e35...@ma...>
> Content-Type: text/plain; charset="iso-8859-1"
>
> Hello all,
>
> For a long time I am struggling with a problem and unfortunatelly still
> could not find any solution :( Please write me if you have any ideal.
>
> Problem description: Scheduliing some tasks according to some
> criterias.(see
> below)
>
> int[] periods_data = new int[]{20,20,10};
> IntDomainVar[] starts = pb.makeBoundIntVarArray("start", 4, 0, 20);
> IntDomainVar[] starts_task = pb.makeBoundIntVarArray("start task", 4, 0,
> 20);
>
> int t1 = 0;
> for (int i = 0; i < 3; i++) {
> for (int j = 0; j < (20/periods_data[i]); j++) {
> Constraint[] implor = new Constraint[4];
> int t2 = 0;
> for (int i1 = 0; i1 < 3; i1++) {
> for (int j1 = 0; j1 < (20/periods_data[i1]); j1++) {
>
> Constraint[] impl = new Constraint[20];
> for (int m = 0; m < 20; m++) {
> impl[m]= pb.ifThen(pb.and(pb.leq(starts[t2],m),
> pb.geq
> (starts[t1],m)),pb.eq(gap[m], 0));
> }
> implor[t2] = pb.ifThen(pb.and(pb.and(impl),
>
> pb.distanceLT(starts[t1],
> starts[t2], jitters_data[i]+1)),
> pb.eq(starts_task[t1], starts[t2]));
> t2++;
> }
> }
> pb.post(pb.or(implor));
> t1++;
> }
> }
>
> implor[t2] line gives " choco.integer.constraints.DistanceXYC cannot be
> cast
> to choco.bool.BinConjunction" error.
>
> You have any idea, why? And how can I give the same constraint in a
> different way?
>
> I appreciate your help.
>
> cheers,
> FAtma
> -------------- next part --------------
> An HTML attachment was scrubbed...
>
> ------------------------------
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Splunk Inc.
> Still grepping through log files to find problems? Stop.
> Now Search log events and configuration files using AJAX and a browser.
> Download your FREE copy of Splunk now >> http://get.splunk.com/
>
> ------------------------------
>
> _______________________________________________
> Choco-users mailing list
> Cho...@li...
> https://lists.sourceforge.net/lists/listinfo/choco-users
>
>
> End of Choco-users Digest, Vol 10, Issue 1
> ******************************************
>
|
