2 instantiations of IntTC
Microsoft.CodeAnalysis.CSharp (2)
Utilities\ValueSetFactory.IntTC.cs (2)
25public static readonly IntTC DefaultInstance = new IntTC(nonNegative: false); 26public static readonly IntTC NonNegativeInstance = new IntTC(nonNegative: true);
17 references to IntTC
Microsoft.CodeAnalysis.CSharp (17)
Utilities\ValueSetFactory.cs (1)
19internal static readonly IValueSetFactory<int> ForInt = new NumericValueSetFactory<int>(IntTC.DefaultInstance);
Utilities\ValueSetFactory.IntTC.cs (2)
25public static readonly IntTC DefaultInstance = new IntTC(nonNegative: false); 26public static readonly IntTC NonNegativeInstance = new IntTC(nonNegative: true);
Utilities\ValueSetFactory.NintValueSet.cs (2)
17public static readonly NintValueSet AllValues = new NintValueSet(hasSmall: true, values: NumericValueSet<int>.AllValues(IntTC.DefaultInstance), hasLarge: true); 19public static readonly NintValueSet NoValues = new NintValueSet(hasSmall: false, values: NumericValueSet<int>.NoValues(IntTC.DefaultInstance), hasLarge: false);
Utilities\ValueSetFactory.NintValueSetFactory.cs (6)
27values: new NumericValueSetFactory<int>(IntTC.DefaultInstance).Related(relation, value), 36values: (IValueSet<int>)new NumericValueSetFactory<int>(IntTC.DefaultInstance).Random(expectedSize, random), 41ConstantValue IValueSetFactory.RandomValue(Random random) => ConstantValue.CreateNativeInt(IntTC.DefaultInstance.Random(random)); 45return value.IsBad ? NintValueSet.AllValues : Related(relation, IntTC.DefaultInstance.FromConstantValue(value)); 50var tc = IntTC.DefaultInstance;
Utilities\ValueSetFactory.NonNegativeIntValueSetFactory.cs (6)
17private static readonly IValueSetFactory<int> s_underlying = new NumericValueSetFactory<int>(IntTC.NonNegativeInstance); 21public IValueSet AllValues => NumericValueSet<int>.AllValues(IntTC.NonNegativeInstance); 23public IValueSet NoValues => NumericValueSet<int>.NoValues(IntTC.NonNegativeInstance); 27var tc = IntTC.NonNegativeInstance; 58value.IsBad ? AllValues : Related(relation, IntTC.NonNegativeInstance.FromConstantValue(value));