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

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