/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
H A D | fraigSat.c | 381 Msat_IntVecClear( p->vProj ); in Fraig_NodeIsEquivalent() 461 Msat_IntVecClear( p->vProj ); in Fraig_NodeIsEquivalent() 593 Msat_IntVecClear( p->vProj ); in Fraig_NodeIsImplication() 685 Msat_IntVecClear( p->vProj ); in Fraig_ManCheckClauseUsingSat() 1135 Msat_IntVecClear( p->vProj ); in Fraig_SupergateAddClauses() 1177 Msat_IntVecClear( p->vProj ); in Fraig_SupergateAddClausesExor() 1183 Msat_IntVecClear( p->vProj ); in Fraig_SupergateAddClausesExor() 1189 Msat_IntVecClear( p->vProj ); in Fraig_SupergateAddClausesExor() 1195 Msat_IntVecClear( p->vProj ); in Fraig_SupergateAddClausesExor() 1240 Msat_IntVecClear( p->vProj ); in Fraig_SupergateAddClausesMux() [all …]
|
H A D | fraigMan.c | 245 p->vProj = Msat_IntVecAlloc( 10 ); in Fraig_ManCreate() 290 if ( p->vProj ) Msat_IntVecFree( p->vProj ); in Fraig_ManFree() 528 Msat_IntVecClear( p->vProj ); in Fraig_ManAddClause() 533 Msat_IntVecPush( p->vProj, MSAT_VAR2LIT(pNode->Num, fComp) ); in Fraig_ManAddClause() 537 RetValue = Msat_SolverAddClause( p->pSat, p->vProj ); in Fraig_ManAddClause()
|
/dports/graphics/libosmesa-gallium/mesa-21.3.6/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/lang/clover/mesa-21.3.6/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/graphics/libosmesa/mesa-21.3.6/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/graphics/mesa-libs/mesa-21.3.6/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/graphics/mesa-dri-classic/mesa-20.2.3/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/graphics/mesa-dri-gallium/mesa-21.3.6/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/graphics/mesa-gallium-va/mesa-21.3.6/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/graphics/mesa-gallium-vdpau/mesa-21.3.6/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/graphics/mesa-gallium-xa/mesa-21.3.6/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/graphics/mesa-dri/mesa-21.3.6/src/mesa/math/ |
H A D | m_clip_tmp.h | 54 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in TAG() local 91 vProj[i][0] = 0; in TAG() 92 vProj[i][1] = 0; in TAG() 93 vProj[i][2] = 0; in TAG() 94 vProj[i][3] = 1; in TAG() 97 vProj[i][0] = cx * oow; in TAG() 98 vProj[i][1] = cy * oow; in TAG() 99 vProj[i][2] = cz * oow; in TAG() 100 vProj[i][3] = oow; in TAG()
|
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/graphics/mesa-devel/mesa-22.0-branchpoint-2059-ge8a63cf61ec/src/mesa/math/ |
H A D | m_debug_clip.c | 77 GLfloat (*vProj)[4] = (GLfloat (*)[4])proj_vec->start; in ref_cliptest_points4() local 100 vProj[i][0] = 0; in ref_cliptest_points4() 101 vProj[i][1] = 0; in ref_cliptest_points4() 102 vProj[i][2] = 0; in ref_cliptest_points4() 103 vProj[i][3] = 1; in ref_cliptest_points4() 106 vProj[i][0] = cx * oow; in ref_cliptest_points4() 107 vProj[i][1] = cy * oow; in ref_cliptest_points4() 108 vProj[i][2] = cz * oow; in ref_cliptest_points4() 109 vProj[i][3] = oow; in ref_cliptest_points4()
|
/dports/math/mlpack/mlpack-3.4.2/src/mlpack/methods/ann/layer/ |
H A D | multihead_attention_impl.hpp | 120 vProj.set_size(srcSeqLen, embedDim, batchSize); in Forward() 128 vProj.slice(i) = arma::trans( in Forward() 140 vProj.reshape(srcSeqLen, headDim, numHeads * batchSize); in Forward() 177 attnOut = math::MultiplyCube2Cube(scores, vProj, false, false); in Forward() 244 gyTemp = math::MultiplyCube2Cube(gyTemp, vProj, false, true); in Backward() 373 errorTemp = math::MultiplyCube2Cube(gyTemp, vProj, false, true); in Gradient()
|
/dports/games/openjk/OpenJK-07675e2/codemp/botlib/ |
H A D | be_aas_main.cpp | 209 void AAS_ProjectPointOntoVector( vec3_t point, vec3_t vStart, vec3_t vEnd, vec3_t vProj ) in AAS_ProjectPointOntoVector() argument 217 VectorMA( vStart, DotProduct( pVec, vec ), vec, vProj ); in AAS_ProjectPointOntoVector()
|