Home
last modified time | relevance | path

Searched refs:vProj (Results 1 – 25 of 82) sorted by relevance

1234

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/
H A DfraigSat.c381 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 DfraigMan.c245 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_clip_tmp.h54 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 Dm_debug_clip.c77 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 Dm_debug_clip.c77 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 Dmultihead_attention_impl.hpp120 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 Dbe_aas_main.cpp209 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()

1234