public void Propagate( Variable var ) { if( var.IsBound() ) { Propagate( var, var.OnVarIsBoundList ); } if( var.IsIntervalChanged() ) { Propagate( var, var.OnVarIntervalList ); } Propagate( var, var.OnVarDomainList ); }
public void Enqueue( Variable var ) { if( var.IsBound() ) { Enqueue( var.OnVarIsBoundList ); } if( var.IsIntervalChanged() ) { Enqueue( var.OnVarIntervalList ); } Enqueue( var.OnVarDomainList ); }