Home
last modified time | relevance | path

Searched refs:predType (Results 1 – 25 of 65) sorted by relevance

123

/dports/math/pdal/PDAL-2.3.0/plugins/icebridge/io/
H A DHdf5Handler.hpp53 Hdf5ColumnData(const std::string& name, const H5::PredType predType) in Hdf5ColumnData()
55 , predType(predType) in Hdf5ColumnData()
59 const H5::PredType predType; member
91 H5::PredType predType, in ColumnData()
94 : predType(predType) in ColumnData()
99 ColumnData(H5::PredType predType) in ColumnData()
100 : predType(predType) in ColumnData()
105 H5::PredType predType; member
H A DHdf5Handler.cpp68 const H5::PredType predType = col.predType; in initialize() local
74 ColumnData(predType, dataSet, dataSpace))); in initialize()
118 columnData.predType, in getColumnEntries()
H A DIcebridgeReader.cpp145 if (column.predType == H5::PredType::NATIVE_FLOAT) in read()
177 else if (column.predType == H5::PredType::NATIVE_INT) in read()
/dports/multimedia/svt-hevc/SVT-HEVC-1.5.1/Source/Lib/Codec/
H A DEbPredictionStructure.c16 …TRUCT_INDEX(hierarchicalLevelCount, predType, refCount) (((hierarchicalLevelCount) * EB_PRED_TOTAL… argument
860 EB_PRED predType, in PredictionStructureCtor() argument
873 predictionStructurePtr->predType = predType; in PredictionStructureCtor()
905 if(predType == EB_PRED_RANDOM_ACCESS) { in PredictionStructureCtor()
922 …leadingPicCount = (predType == EB_PRED_RANDOM_ACCESS) ? // No leading pictures in low-… in PredictionStructureCtor()
988 …predictionStructurePtr->predStructEntryPtrArray[entryIndex]->decodeOrder = (predType == EB_PRED_RA… in PredictionStructureCtor()
1030 switch(predType) { in PredictionStructureCtor()
1093 …predictionStructurePtr->predStructEntryPtrArray[entryIndex]->decodeOrder = (predType == EB_PRED_RA… in PredictionStructureCtor()
1130 switch(predType) { in PredictionStructureCtor()
1189 …predictionStructurePtr->predStructEntryPtrArray[entryIndex]->decodeOrder = (predType == EB_PRED_RA… in PredictionStructureCtor()
[all …]
H A DEbPredictionStructure.h164 EB_PRED predType; member
/dports/multimedia/gstreamer1-plugins-svt-hevc/SVT-HEVC-1.5.1/Source/Lib/Codec/
H A DEbPredictionStructure.c16 …TRUCT_INDEX(hierarchicalLevelCount, predType, refCount) (((hierarchicalLevelCount) * EB_PRED_TOTAL… argument
860 EB_PRED predType, in PredictionStructureCtor() argument
873 predictionStructurePtr->predType = predType; in PredictionStructureCtor()
905 if(predType == EB_PRED_RANDOM_ACCESS) { in PredictionStructureCtor()
922 …leadingPicCount = (predType == EB_PRED_RANDOM_ACCESS) ? // No leading pictures in low-… in PredictionStructureCtor()
988 …predictionStructurePtr->predStructEntryPtrArray[entryIndex]->decodeOrder = (predType == EB_PRED_RA… in PredictionStructureCtor()
1030 switch(predType) { in PredictionStructureCtor()
1093 …predictionStructurePtr->predStructEntryPtrArray[entryIndex]->decodeOrder = (predType == EB_PRED_RA… in PredictionStructureCtor()
1130 switch(predType) { in PredictionStructureCtor()
1189 …predictionStructurePtr->predStructEntryPtrArray[entryIndex]->decodeOrder = (predType == EB_PRED_RA… in PredictionStructureCtor()
[all …]
H A DEbPredictionStructure.h164 EB_PRED predType; member
/dports/multimedia/gstreamer1-plugins-svt-av1/SVT-AV1-3971c982311d49f9355dc8dccdcf8d21b70fa624/Source/Lib/Encoder/Codec/
H A DEbPredictionStructure.c20 #define PRED_STRUCT_INDEX(hierarchicalLevelCount, predType, refCount) \ argument
856 predictionStructurePtr->pred_type = predType; in prediction_structure_ctor()
895 if (predType == EB_PRED_RANDOM_ACCESS) { in prediction_structure_ctor()
1008 (predType == EB_PRED_RANDOM_ACCESS) in prediction_structure_ctor()
1044 …->ref_list0.reference_list_count = (predType == EB_PRED_LOW_DELAY_B || predType == EB_PRED_LOW_DEL… in prediction_structure_ctor()
1068 switch (predType) { in prediction_structure_ctor()
1159 (predType == EB_PRED_RANDOM_ACCESS) in prediction_structure_ctor()
1188 …->ref_list0.reference_list_count = (predType == EB_PRED_LOW_DELAY_B || predType == EB_PRED_LOW_DEL… in prediction_structure_ctor()
1207 switch (predType) { in prediction_structure_ctor()
1291 (predType == EB_PRED_RANDOM_ACCESS) in prediction_structure_ctor()
[all …]
/dports/multimedia/svt-av1/SVT-AV1-3971c982311d49f9355dc8dccdcf8d21b70fa624/Source/Lib/Encoder/Codec/
H A DEbPredictionStructure.c20 #define PRED_STRUCT_INDEX(hierarchicalLevelCount, predType, refCount) \ argument
856 predictionStructurePtr->pred_type = predType; in prediction_structure_ctor()
895 if (predType == EB_PRED_RANDOM_ACCESS) { in prediction_structure_ctor()
1008 (predType == EB_PRED_RANDOM_ACCESS) in prediction_structure_ctor()
1044 …->ref_list0.reference_list_count = (predType == EB_PRED_LOW_DELAY_B || predType == EB_PRED_LOW_DEL… in prediction_structure_ctor()
1068 switch (predType) { in prediction_structure_ctor()
1159 (predType == EB_PRED_RANDOM_ACCESS) in prediction_structure_ctor()
1188 …->ref_list0.reference_list_count = (predType == EB_PRED_LOW_DELAY_B || predType == EB_PRED_LOW_DEL… in prediction_structure_ctor()
1207 switch (predType) { in prediction_structure_ctor()
1291 (predType == EB_PRED_RANDOM_ACCESS) in prediction_structure_ctor()
[all …]
/dports/math/vampire/vampire-4.5.1/Shell/
H A DGrounding.cpp183 OperatorType* predType = env.signature->getPredicate(pred)->predType(); in getEqualityAxioms() local
192 …Literal* eqLit=Literal::createEquality(false, TermList(0,false),TermList(1,false), predType->arg(i… in getEqualityAxioms()
H A DEqualityProxy.cpp249 if (!getArgumentEqualityLiterals(arity, lits, vars1, vars2, predSym->predType(), true)) { in addCongruenceAxioms()
363 OperatorType* predType = OperatorType::getPredicateType({sort, sort}); in getProxyPredicate() local
364 predSym->setType(predType); in getProxyPredicate()
H A DTPTPPrinter.cpp208 OperatorType* type = function ? sym->fnType() : sym->predType(); in outputSymbolTypeDefinitions()
289 type = sym->predType(); in ensureNecesarySorts()
H A DProperty.cpp567 OperatorType* type = pred->predType(); in scan()
677 …env.signature->getPredicate(t->functor())->predType() : env.signature->getFunction(t->functor())->… in scanForInterpreted()
/dports/math/vampire/vampire-4.5.1/VUtils/
H A DFOEquivalenceDiscovery.cpp84 PredicateType* t1 = sym1->predType(); in perform()
93 PredicateType* t2 = sym2->predType(); in perform()
/dports/multimedia/cmrtlib/media-driver-intel-media-20.1.1/media_driver/agnostic/common/hw/vdbox/
H A Dmhw_vdbox_hcp_generic.h202 for (uint8_t predType = 0; predType < 2; predType++) // Intra, Inter in AddHcpQmStateCmd() local
210 cmd.DW1.PredictionType = predType; in AddHcpQmStateCmd()
220 … cmd.DW1.DcCoefficient = params->pHevcIqMatrix->ListDC16x16[3 * predType + color]; in AddHcpQmStateCmd()
223 cmd.DW1.DcCoefficient = params->pHevcIqMatrix->ListDC32x32[predType]; in AddHcpQmStateCmd()
233 … qMatrix[4 * i + ii] = params->pHevcIqMatrix->List4x4[3 * predType + color][4 * i + ii]; in AddHcpQmStateCmd()
243 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List8x8[3 * predType + color][8 * i + ii]; in AddHcpQmStateCmd()
253 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List16x16[3 * predType + color][8 * i + ii]; in AddHcpQmStateCmd()
263 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List32x32[predType][8 * i + ii]; in AddHcpQmStateCmd()
/dports/multimedia/libva-intel-media-driver/media-driver-intel-media-22.1.1/media_driver/agnostic/common/hw/vdbox/
H A Dmhw_vdbox_hcp_generic.h202 for (uint8_t predType = 0; predType < 2; predType++) // Intra, Inter in AddHcpQmStateCmd() local
210 cmd.DW1.PredictionType = predType; in AddHcpQmStateCmd()
220 … cmd.DW1.DcCoefficient = params->pHevcIqMatrix->ListDC16x16[3 * predType + color]; in AddHcpQmStateCmd()
223 cmd.DW1.DcCoefficient = params->pHevcIqMatrix->ListDC32x32[predType]; in AddHcpQmStateCmd()
233 … qMatrix[4 * i + ii] = params->pHevcIqMatrix->List4x4[3 * predType + color][4 * i + ii]; in AddHcpQmStateCmd()
243 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List8x8[3 * predType + color][8 * i + ii]; in AddHcpQmStateCmd()
253 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List16x16[3 * predType + color][8 * i + ii]; in AddHcpQmStateCmd()
263 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List32x32[predType][8 * i + ii]; in AddHcpQmStateCmd()
/dports/math/vampire/vampire-4.5.1/InstGen/
H A DModelPrinter.cpp65 OperatorType* type = env.signature->getPredicate(i)->predType(); in haveNonDefaultSorts()
209 OperatorType* predType = env.signature->getPredicate(base->functor())->predType(); in generateNewInstances() local
269 } while(SortHelper::getResultSort(arg.term())!=predType->arg(depth)); in generateNewInstances()
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DSignature.cpp194 OperatorType* Signature::Symbol::predType() const in predType() function in Signature::Symbol
472 OperatorType* predType = type; in addInterpretedPredicate() local
473 ASS_REP(!predType->isFunctionType(), predType->toString()); in addInterpretedPredicate()
474 sym->setType(predType); in addInterpretedPredicate()
H A DSortHelper.cpp47 return *(env.signature->getPredicate(t->functor())->predType()); in getType()
361 … unsigned sort = isPredicate ? symbol->predType()->arg(position) : symbol->fnType()->arg(position); in collectVariableSortsIter()
/dports/multimedia/libva-intel-media-driver/media-driver-intel-media-22.1.1/media_driver/agnostic/gen9/hw/vdbox/
H A Dmhw_vdbox_hcp_g9_X.h611 for (uint8_t predType = 0; predType < 2; predType++) // Intra, Inter in AddHcpQmStateCmd() local
619 cmd.DW1.PredictionType = predType; in AddHcpQmStateCmd()
629 … cmd.DW1.DcCoefficient = params->pHevcIqMatrix->ListDC16x16[3 * predType + color]; in AddHcpQmStateCmd()
632 cmd.DW1.DcCoefficient = params->pHevcIqMatrix->ListDC32x32[predType]; in AddHcpQmStateCmd()
642 … qMatrix[4 * i + ii] = params->pHevcIqMatrix->List4x4[3 * predType + color][4 * i + ii]; in AddHcpQmStateCmd()
652 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List8x8[3 * predType + color][8 * i + ii]; in AddHcpQmStateCmd()
662 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List16x16[3 * predType + color][8 * i + ii]; in AddHcpQmStateCmd()
672 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List32x32[predType][8 * i + ii]; in AddHcpQmStateCmd()
/dports/multimedia/cmrtlib/media-driver-intel-media-20.1.1/media_driver/agnostic/gen9/hw/vdbox/
H A Dmhw_vdbox_hcp_g9_X.h607 for (uint8_t predType = 0; predType < 2; predType++) // Intra, Inter in AddHcpQmStateCmd() local
615 cmd.DW1.PredictionType = predType; in AddHcpQmStateCmd()
625 … cmd.DW1.DcCoefficient = params->pHevcIqMatrix->ListDC16x16[3 * predType + color]; in AddHcpQmStateCmd()
628 cmd.DW1.DcCoefficient = params->pHevcIqMatrix->ListDC32x32[predType]; in AddHcpQmStateCmd()
638 … qMatrix[4 * i + ii] = params->pHevcIqMatrix->List4x4[3 * predType + color][4 * i + ii]; in AddHcpQmStateCmd()
648 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List8x8[3 * predType + color][8 * i + ii]; in AddHcpQmStateCmd()
658 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List16x16[3 * predType + color][8 * i + ii]; in AddHcpQmStateCmd()
668 … qMatrix[8 * i + ii] = params->pHevcIqMatrix->List32x32[predType][8 * i + ii]; in AddHcpQmStateCmd()
/dports/math/vampire/vampire-4.5.1/FMB/
H A DFiniteModelMultiSorted.cpp87 OperatorType* sig = env.signature->getPredicate(p)->predType(); in FiniteModelMultiSorted()
163 OperatorType* sig = env.signature->getPredicate(p)->predType(); in addPredicateDefinition()
369 OperatorType* sig = env.signature->getPredicate(f)->predType(); in toString()
497 OperatorType* sig = env.signature->getPredicate(lit->functor())->predType(); in evaluateGroundLiteral()
/dports/math/vampire/vampire-4.5.1/Api/
H A DFormulaBuilder.cpp257 PredicateType* predType = new PredicateType(arity, nativeSorts.array()); in predicate() local
259 sym->setType(predType); in predicate()
262 if(*predType!=*sym->predType()) { in predicate()
266 delete predType; in predicate()
/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB.cpp351 if((*sym->predType())!=(*type)) { in doFunctionDeclarations()
523 type = env.signature->getPredicate(symNum)->predType(); in ensureArgumentSorts()
1204 OperatorType* prevType = env.signature->getPredicate(predNum)->predType(); in tryReadDistinct()
1215 ASS(*type==*env.signature->getPredicate(predNum)->predType()); in tryReadDistinct()
/dports/lang/kawa/kawa-3.1.1/gnu/xquery/util/
H A DCompileMisc.java151 Type predType = lexp2.body.getType(); in validateApplyValuesFilter() local
152 if (predType != XDataType.booleanType) // Overly conservative, but simple. in validateApplyValuesFilter()

123