Searched refs:requiredSetSize (Results 1 – 2 of 2) sorted by relevance
| /dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/ |
| H A D | readdes.c | 25 Unsigned requiredSetSize,
203 Unsigned requiredSetSize, /* 0 = any */ in read01Matrix() argument
237 return xRead01Matrix( libFile, str, transposeFlag, requiredSetSize, in read01Matrix()
276 if ( requiredSetSize != 0 && setSize != requiredSetSize ) in read01Matrix()
341 Unsigned requiredSetSize, /* 0 = any */ in xRead01Matrix() argument
354 if ( (requiredSetSize != 0 && setSize != requiredSetSize) || in xRead01Matrix()
480 Unsigned requiredSetSize, /* 0 = any */ in readCode() argument
487 M = read01Matrix( libFileName, libName, FALSE, FALSE, requiredSetSize, in readCode()
|
| H A D | readdes.h | 23 Unsigned requiredSetSize, /* 0 = any */
40 Unsigned requiredSetSize, /* 0 = any */
|