C# (CSharp) Variable.IsEmpty Examples

Example #1

File: PropagationQueueVar.cs Project: nofear/Mara

        /// <summary>
        /// Enqueue the given variable.
        /// </summary>
        public void OnChangeVariable( Variable var )
        {
            m_IsViolated	|= var.IsEmpty();

            if( !m_IsViolated
                    && !var.InQueue )
            {
                m_Queue.Enqueue( var );

                var.InQueue	= true;
            }

            Propagate();
        }

Example #2

File: PropagationQueueCons.cs Project: nofear/Mara

        /// <summary>
        /// Enqueue the given variable.
        /// </summary>
        public void OnChangeVariable( Variable var )
        {
            m_IsViolated	|= var.IsEmpty();

            if( !m_IsViolated )
            {
                Enqueue( var );

                Propagate();
            }
        }