Example #1
0
 /// <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);
Example #2
0
 /// <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;
Example #3
0
 /// <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);