C# (CSharp) PUC GreaterThanDependency Examples

Example #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);
        }

Example #2

 public abstract Dependency.Comparison CompareGreaterThan(GreaterThanDependency d);

Example #3

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

Example #4

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

Example #5

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

            return(Dependency.Comparison.Overlap);
        }