Пример #1
0
            /// <summary>
            /// Initializes a new instance of the <see cref="SubtermCollection"/> class.
            /// </summary>
            /// <param name="owner">The owner of this collection.</param>
            public SubtermCollection(ModuleATerm owner)
            {
                #region Contract
                Debug.Assert(owner != null);
                #endregion

                this.owner = owner;
            }
Пример #2
0
        /// <inheritdoc />
        public bool Equals(ModuleATerm other)
        {
            if (Object.ReferenceEquals(this, other))
            {
                return(true);
            }

            return(base.Equals(other) &&
                   this.Name.Equals(other.Name) &&
                   this.Definitions.Equals(other.Definitions));
        }