/// <inheritdoc /> public override void Accept(ITermVisitor visitor) { #region Contract if (visitor == null) { throw new ArgumentNullException(nameof(visitor)); } #endregion visitor.VisitPlaceholder(this); }
/// <inheritdoc /> public override TResult Accept <TResult>(ITermVisitor <TResult> visitor) { #region Contract if (visitor == null) { throw new ArgumentNullException(nameof(visitor)); } #endregion return(visitor.VisitPlaceholder(this)); }
/// <inheritdoc /> public override void Accept(ITermVisitor visitor) { // CONTRACT: Inherited from ITerm visitor.VisitPlaceholder(this); }