Re: [eclipse-clp-users] Assignment propagation queue

From: Kish Shen <kisshen_at_...5...>
Date: Tue, 03 Feb 2009 15:10:41 +0000
Kish Shen wrote:

> I assume you are questioning how the priority can be adjusted when you 
> resuspend -- to do so, the propagator goal must remember the old 
> priority. In fact, since propagators are simply normal ECLiPSe goals, 

Actually, you can also use get_priority/1 to get the priority.

Cheers,

Kish
Received on Tue Feb 03 2009 - 15:10:57 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST