Re: [eclipse-users] Use of max with ic_probing_for_scheduling

From: Kish Shen <kisshen_at_...5...>
Date: Fri, 13 Jul 2007 19:00:51 +0100
Hi David,

David Norman wrote:
> Sorry about that.  The ex3 example does work. 
>  
> I was trying to rewrite ex3 to use probe_cstr_sched, but it looks like 
> max can't be used directly with probe_cstr_sched.  Instead you have to 
> write the max using linear constraints.
> 
> Is this correct?
> 
> David 
> 
> 
> 
> 

I am not really that familiar with the code, but probe_cstr_sched does 
not take a cost function, and in fact probe_sched/5 does what you are 
trying to do, it converts the cost function to linear constraints and 
then call probe_cstr_sched, and it explicitly deals with max, so yes, 
you can't specify max directly in the constraints.

Cheers,

Kish
Received on Fri Jul 13 2007 - 19:01:00 CEST

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:19 CET