public void QueuePropagation(Variable narrowedVariable)
{
if (CSP.CurrentlyPropagating(this))
{
return;
}
//#if DEBUG
// Trace.WriteLine("Queue "+this);
//#endif
if (this.Queued)
{
NarrowedVariable = null;
}
else
{
NarrowedVariable = narrowedVariable;
CSP.QueueConstraint(this);
}
}