140 references to Assert
Microsoft.ML.CpuMath (140)
AlignedArray.cs (27)
39
Contracts.
Assert
(0 < size);
41
Contracts.
Assert
(sizeof(float) <= cbAlign);
42
Contracts.
Assert
((cbAlign & (cbAlign - 1)) == 0);
44
Contracts.
Assert
((size * sizeof(float)) % cbAlign == 0);
56
Contracts.
Assert
((float*)addr == pv);
61
Contracts.
Assert
(ibMin % sizeof(float) == 0);
101
Contracts.
Assert
(0 <= index && index < _size);
106
Contracts.
Assert
(0 <= index && index < _size);
113
Contracts.
Assert
(0 <= count && count <= _size);
114
Contracts.
Assert
(0 <= index && index <= dst.Length - count);
120
Contracts.
Assert
(0 <= count);
121
Contracts.
Assert
(0 <= start && start <= _size - count);
122
Contracts.
Assert
(0 <= index && index <= dst.Length - count);
128
Contracts.
Assert
(src.Length <= _size);
134
Contracts.
Assert
(0 <= start && start <= _size - src.Length);
144
Contracts.
Assert
(rgposSrc.Length <= valuesSrc.Length);
145
Contracts.
Assert
(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length);
154
Contracts.
Assert
(posMin <= rgposSrc[ipos]);
156
Contracts.
Assert
(iv < _size + _base);
163
Contracts.
Assert
(src != null);
164
Contracts.
Assert
(src._size == _size);
165
Contracts.
Assert
(src._cbAlign == _cbAlign);
176
Contracts.
Assert
(rgposSrc != null);
177
Contracts.
Assert
(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length);
178
Contracts.
Assert
(iposLim - iposMin <= _size);
184
Contracts.
Assert
(ivCur <= ivNextNonZero && ivNextNonZero < _size);
187
Contracts.
Assert
(ivCur == ivNextNonZero);
AlignedMatrix.cs (43)
39
Contracts.
Assert
(0 < cflt);
41
Contracts.
Assert
(0 < cfltAlign && (cfltAlign & (cfltAlign - 1)) == 0);
54
Contracts.
Assert
(0 < size);
56
Contracts.
Assert
(sizeof(float) <= cbAlign);
57
Contracts.
Assert
((cbAlign & (cbAlign - 1)) == 0);
74
Contracts.
Assert
(0 < _size && _size <= _items.Size);
78
Contracts.
Assert
(_items[i] == 0);
104
Contracts.
Assert
(0 <= index && index < _size);
109
Contracts.
Assert
(0 <= index && index < _size);
121
Contracts.
Assert
(0 <= i && i < _size);
152
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - _size);
168
Contracts.
Assert
(0 <= count && count <= dst.Length);
169
Contracts.
Assert
(0 <= ivSrc && ivSrc <= _size - count);
170
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - count);
182
Contracts.
Assert
(0 <= index && index <= src.Length - _size);
198
Contracts.
Assert
(0 <= count && count <= src.Length);
199
Contracts.
Assert
(0 <= ivDst && ivDst <= _size - count);
200
Contracts.
Assert
(0 <= ivSrc && ivSrc <= src.Length - count);
211
Contracts.
Assert
(src._size == _size);
290
Contracts.
Assert
(0 < cflt);
292
Contracts.
Assert
(0 < cfltAlign && (cfltAlign & (cfltAlign - 1)) == 0);
304
Contracts.
Assert
(0 < runLen);
305
Contracts.
Assert
(0 < runCnt);
307
Contracts.
Assert
(sizeof(float) <= cbAlign);
308
Contracts.
Assert
((cbAlign & (cbAlign - 1)) == 0);
328
Contracts.
Assert
(0 < RunLen && RunLen <= RunLenPhy);
329
Contracts.
Assert
(0 < RunCnt && RunCnt <= RunCntPhy);
330
Contracts.
Assert
(RunLenPhy * RunCntPhy == Items.Size);
336
Contracts.
Assert
(Items[i * RunLenPhy + j] == 0);
343
Contracts.
Assert
(Items[i * RunLenPhy + j] == 0);
361
Contracts.
Assert
(k == i * RunLenPhy);
385
Contracts.
Assert
(src.RunLen == RunLen);
386
Contracts.
Assert
(src.RunCnt == RunCnt);
387
Contracts.
Assert
(src.RunLenPhy == RunLenPhy);
388
Contracts.
Assert
(src.RunCntPhy == RunCntPhy);
433
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - ValueCount);
462
Contracts.
Assert
(0 <= ivSrc && ivSrc <= src.Length - ValueCount);
539
Contracts.
Assert
(0 <= row && row < RowCount);
540
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - ColCount);
603
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - ValueCount);
621
Contracts.
Assert
(0 <= row && row < RowCount);
622
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - ColCount);
636
Contracts.
Assert
(0 <= ivSrc && ivSrc <= src.Length - ValueCount);
CpuAligenedMathUtils.cs (6)
22
Contracts.
Assert
((mat.Items.CbAlign % CpuMathUtils.GetVectorAlignment()) == 0);
35
Contracts.
Assert
((vec.Items.CbAlign % CpuMathUtils.GetVectorAlignment()) == 0);
55
Contracts.
Assert
(mat.ColCount == src.VectorSize);
56
Contracts.
Assert
(mat.RowCount == dst.VectorSize);
75
Contracts.
Assert
(m.ColCountPhy == A(src).Items.Size);
76
Contracts.
Assert
(m.RowCountPhy == A(dst).Items.Size);
CpuMathUtils.cs (20)
52
Contracts.
Assert
(count > 0);
53
Contracts.
Assert
(count <= source.Length);
54
Contracts.
Assert
(count <= destination.Length);
71
Contracts.
Assert
(count > 0);
72
Contracts.
Assert
(count <= source.Length);
73
Contracts.
Assert
(count <= destination.Length);
92
Contracts.
Assert
(count > 0);
93
Contracts.
Assert
(count <= source.Length);
94
Contracts.
Assert
(count <= destination.Length);
95
Contracts.
Assert
(count <= result.Length);
111
Contracts.
Assert
(count > 0);
112
Contracts.
Assert
(count <= source.Length);
113
Contracts.
Assert
(count <= destination.Length);
131
Contracts.
Assert
(count > 0);
132
Contracts.
Assert
(count <= left.Length);
133
Contracts.
Assert
(count <= right.Length);
134
Contracts.
Assert
(count <= destination.Length);
190
Contracts.
Assert
(count > 0);
191
Contracts.
Assert
(left.Length >= count);
192
Contracts.
Assert
(right.Length >= count);
CpuMathUtils.netstandard.cs (36)
33
Contracts.
Assert
(a.Size > 0);
41
Contracts.
Assert
(((long)q & (Vector128Alignment - 1)) == 0);
60
Contracts.
Assert
(Compat(mat));
61
Contracts.
Assert
(Compat(src));
62
Contracts.
Assert
(Compat(dst));
63
Contracts.
Assert
(mat.Size == dst.Size * src.Size);
73
Contracts.
Assert
(0 <= crun && crun <= dst.Size);
78
Contracts.
Assert
(0 <= crun && crun <= src.Size);
88
Contracts.
Assert
(Compat(mat));
89
Contracts.
Assert
(Compat(srcValues));
90
Contracts.
Assert
(Compat(dst));
91
Contracts.
Assert
(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length);
92
Contracts.
Assert
(mat.Size == dst.Size * srcValues.Size);
107
Contracts.
Assert
(0 <= crun && crun <= dst.Size);
128
Contracts.
Assert
(0 < count && count <= src.Length);
130
Contracts.
Assert
(count <= indices.Length);
132
Contracts.
Assert
(count < dst.Length);
146
Contracts.
Assert
(0 < count && count <= src.Length);
148
Contracts.
Assert
(count <= indices.Length);
150
Contracts.
Assert
(count < dst.Length);
209
Contracts.
Assert
(0 < count);
210
Contracts.
Assert
(count < a.Length);
211
Contracts.
Assert
(count <= b.Length);
212
Contracts.
Assert
(count <= indices.Length);
227
Contracts.
Assert
(0 < count && count <= a.Length);
228
Contracts.
Assert
(count <= b.Length);
236
Contracts.
Assert
(0 < ccol && ccol <= cfltRow);
254
Contracts.
Assert
(count <= src.Length);
256
Contracts.
Assert
(count <= v.Length);
258
Contracts.
Assert
(count <= w.Length);
259
Contracts.
Assert
(count > 0);
273
Contracts.
Assert
(count <= source.Length);
275
Contracts.
Assert
(count <= indices.Length);
277
Contracts.
Assert
(count <= v.Length);
279
Contracts.
Assert
(count <= w.Length);
280
Contracts.
Assert
(count > 0);
EigenUtils.cs (1)
20
Contracts.
Assert
(n * n == count);
FactorizationMachine\FactorizationMachineInterface.cs (2)
19
Contracts.
Assert
(a.Size > 0);
27
Contracts.
Assert
(((long)q & (CbAlign - 1)) == 0);
FactorizationMachine\FactorizationMachineInterface.netstandard.cs (5)
19
Contracts.
Assert
(Compat(latentWeights));
20
Contracts.
Assert
(Compat(latentSum));
42
Contracts.
Assert
(Compat(latentSum));
44
Contracts.
Assert
(Compat(latentWeights));
46
Contracts.
Assert
(Compat(latentAccumulatedSquaredGrads));