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.


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

This archive was generated by hypermail 2.3.0 : Tue Aug 20 2019 - 12:15:19 CEST