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

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