Home
last modified time | relevance | path

Searched defs:varNums (Results 1 – 8 of 8) sorted by relevance

/dports/science/cdf/cdf33_0-dist/src/lib/
H A Dcdfcsi.c492 long numVars, varNums[CDF_MAX_DIMS]; local
520 long numVars, varNums[CDF_MAX_DIMS]; local
557 long totalSize, offset, *varNums; local
644 long totalSize, offset, *varNums; local
H A Dcdffsi.c2735 Int32 varNums[]; /* In: rVariable numbers. */ variable
2785 Int32 varNums[]; /* In: zVariable numbers. */ variable
2836 Int32 varNums[]; /* In: rVariable numbers. */ variable
2885 Int32 varNums[]; /* In: zVariable numbers. */ variable
2934 Int32 varNums[]; /* In: zVariable numbers. */ variable
2979 Int32 varNums[]; /* In: zVariable numbers. */ variable
H A Dcdffsi3.c1107 long numVars, varNums[1]; variable
H A Dcdffsi2.c2059 long numVars, varNums[1]; variable
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DMLVariant.cpp94 static BinaryHeap<unsigned,Int> varNums; in createLiteralBindings() local
H A DMLMatcher.cpp82 static BinaryHeap<unsigned,Int> varNums; in createLiteralBindings() local
H A DMLMatcherSD.cpp96 static BinaryHeap<unsigned,Int> varNums; in createLiteralBindings() local
/dports/science/cdf/cdf33_0-dist/src/include/
H A Dcdf.h1182 #define CDFgetVarsRecordDatabyNumbers(id,zVar,numVars,varNums,recNum,buffer) \ argument
1424 #define CDFputVarsRecordDatabyNumbers(id,zVar,numVars,varNums,recNum,buffer) \ argument