Example #1
0
        public void Propagate( Variable var )
        {
            if( var.IsBound() )
            {
                Propagate( var, var.OnVarIsBoundList );
            }

            if( var.IsIntervalChanged() )
            {
                Propagate( var, var.OnVarIntervalList );
            }

            Propagate( var, var.OnVarDomainList );
        }
Example #2
0
        public void Enqueue( Variable var )
        {
            if( var.IsBound() )
            {
                Enqueue( var.OnVarIsBoundList );
            }

            if( var.IsIntervalChanged() )
            {
                Enqueue( var.OnVarIntervalList );
            }

            Enqueue( var.OnVarDomainList );
        }