1 write to _tc
Microsoft.CodeAnalysis.CSharp (1)
Utilities\ValueSetFactory.NumericValueSetFactory.cs (1)
27public NumericValueSetFactory(INumericTC<T> tc) { this._tc = tc; }
27 references to _tc
Microsoft.CodeAnalysis.CSharp (27)
Utilities\ValueSetFactory.NumericValueSetFactory.cs (27)
23IValueSet IValueSetFactory.AllValues => NumericValueSet<T>.AllValues(_tc); 25IValueSet IValueSetFactory.NoValues => NumericValueSet<T>.NoValues(_tc); 34if (_tc.Related(LessThanOrEqual, value, _tc.MinValue)) 35return NumericValueSet<T>.NoValues(_tc); 36return new NumericValueSet<T>(_tc.MinValue, _tc.Prev(value), _tc); 38return new NumericValueSet<T>(_tc.MinValue, value, _tc); 40if (_tc.Related(GreaterThanOrEqual, value, _tc.MaxValue)) 41return NumericValueSet<T>.NoValues(_tc); 42return new NumericValueSet<T>(_tc.Next(value), _tc.MaxValue, _tc); 44return new NumericValueSet<T>(value, _tc.MaxValue, _tc); 46return new NumericValueSet<T>(value, value, _tc); 53value.IsBad ? NumericValueSet<T>.AllValues(_tc) : Related(relation, _tc.FromConstantValue(value)); 56NumericValueSet<T>.Random(expectedSize, random, _tc); 60return _tc.ToConstantValue(_tc.Random(random)); 65return _tc.Related(relation, _tc.FromConstantValue(left), _tc.FromConstantValue(right));