C# (CSharp) PUC GreaterThanDependency示例

示例#1

        public override PUC.Dependency.Comparison CompareGreaterThan(GreaterThanDependency d)
        {
            if (_isRef || d.IsReference)
            {
                return(Comparison.Disjoint);
            }

            if (State.Type.ValueSpace.CompareValues(d.Value, this.Value) == 0)
            {
                return(Comparison.Same);
            }

            return(Comparison.Overlap);
        }

示例#2

 public abstract Dependency.Comparison CompareGreaterThan(GreaterThanDependency d);

示例#3

 public override PUC.Dependency.Comparison CompareGreaterThan(GreaterThanDependency d)
 {
     return(d.CompareLessThan(this));
 }

示例#4

 public override PUC.Dependency.Comparison CompareGreaterThan(GreaterThanDependency d)
 {
     return(Dependency.Comparison.Disjoint);
 }

示例#5

        public override PUC.Dependency.Comparison CompareGreaterThan(GreaterThanDependency d)
        {
            System.Diagnostics.Debug.Assert(d.State == State);

            return(Dependency.Comparison.Overlap);
        }