예제 #1
0
        public void Initialize()
        {
            a = new Principal(nameof(a));
            b = new Principal(nameof(b));

            p1 = new PolicyLabel(new Policy(a, a));
            p2 = new PolicyLabel(new Policy(b, b));

            c1 = new ConstantLabel(nameof(c1));
            c2 = new ConstantLabel(nameof(c2));

            v1 = new VariableLabel(nameof(v1));
            v2 = new VariableLabel(nameof(v2));
        }
예제 #2
0
 /// <summary>
 /// Returns a <see cref="UpperBoundLabel"/>; 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>A <see cref="UpperBoundLabel"/>.</returns>
 public override Label ReplaceConstant(ConstantLabel constant, Label replacement) => this;