/// <summary> /// Replaces a <see cref="ConstantLabel"/> with another label in this <see cref="MeetLabel"/>. /// </summary> /// <param name="constant">The constant label that should be replaced.</param> /// <param name="replacement">The replacement label.</param> /// <returns>The result of the label replacement.</returns> public override Label ReplaceConstant(ConstantLabel constant, Label replacement) => l1.ReplaceConstant(constant, replacement) - l2.ReplaceConstant(constant, replacement);
/// <summary> /// Returns this label; see <see cref="Label.ReplaceConstant(ConstantLabel, Label)"/>. /// </summary> /// <param name="constant">The constant label that should be replaced.</param> /// <param name="replacement">The replacement label.</param> /// <returns>The result of the label replacement.</returns> public override Label ReplaceConstant(ConstantLabel constant, Label replacement) => this;
/// <summary> /// Replaces a <see cref="ConstantLabel"/> with another label. /// </summary> /// <param name="constant">The constant label that should be replaced.</param> /// <param name="replacement">The replacement label.</param> /// <returns>The result of the label replacement.</returns> public abstract Label ReplaceConstant(ConstantLabel constant, Label replacement);