Home
last modified time | relevance | path

Searched refs:vPhase (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecPa.c108 Pas_ManVerifyPhaseOne( p, vAdds, iBox, vPhase ); in Pas_ManVerifyPhase()
130 Vec_BitWriteEntry( vPhase, Gia_ObjId(p, pObj), fPhase ); in Pas_ManPhase_rec()
151 Vec_BitWriteEntry( vPhase, iXor, fXorPhase ); in Pas_ManPhase_rec()
155 Vec_Bit_t * vPhase = Vec_BitStart( Vec_IntSize(vMap) ); in Pas_ManPhase() local
162 return vPhase; in Pas_ManPhase()
182 Vec_Bit_t * vPhase, * vConstPhase; in Pas_ManComputeCuts() local
212 Pas_ManVerifyPhase( p, vAdds, vOrder, vPhase ); in Pas_ManComputeCuts()
216 printf( "%d(%d) ", Entry, Vec_BitEntry(vPhase, Entry) ); in Pas_ManComputeCuts()
222 printf( "%d(%d) ", Entry, Vec_BitEntry(vPhase, Entry) ); in Pas_ManComputeCuts()
223 nCompls += Vec_BitEntry(vPhase, Entry); in Pas_ManComputeCuts()
[all …]
H A DacecTree.c308 Vec_Bit_t * vPhase = Vec_BitStart( Gia_ManObjNum(p) ); in Acec_TreeVerifyPhases2() local
318 … Vec_BitWriteEntry( vPhase, Vec_IntEntry( vAdds, 6*Box+3 ), Acec_SignBit2(vAdds, Box, 3) ); in Acec_TreeVerifyPhases2()
319 … Vec_BitWriteEntry( vPhase, Vec_IntEntry( vAdds, 6*Box+4 ), Acec_SignBit2(vAdds, Box, 4) ); in Acec_TreeVerifyPhases2()
328 … if ( Vec_BitEntry(vPhase, Vec_IntEntry(vAdds, 6*Box+n)) == Acec_SignBit2(vAdds, Box, n) ) in Acec_TreeVerifyPhases2()
333 Vec_BitFree( vPhase ); in Acec_TreeVerifyPhases2()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/
H A DdauCanon.c1247 Vec_Int_t * vPhase; member
1277 Vec_IntFree( p->vPhase ); in Abc_TtHieManStop()
1594 pMan->vPhase = vPhase; in Abc_TgInitMan()
1595 Vec_IntClear(vPhase); in Abc_TgInitMan()
2007 Vec_IntClear(pMan->vPhase); in Abc_TgResetGroup()
2032 Vec_IntClear(pMan->vPhase); in Abc_TgResetGroup1()
2405 Vec_Int_t * vPhase = pMan->vPhase; in Abc_TgRecordPhase() local
2425 Vec_IntPush(vPhase, 0); in Abc_TgRecordPhase()
2452 Vec_Int_t * vPhase = pMan->vPhase; in Abc_TgRecordPhase1() local
2462 Vec_IntPush(vPhase, 0); in Abc_TgRecordPhase1()
[all …]
/dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/webkit/Source/WebCore/platform/graphics/
H A DImage.cpp172 float vPhase = scale.height() * srcRect.y(); in drawTiled() local
176 vPhase -= fmodf(dstRect.height(), scale.height() * srcRect.height()) / 2.0f; in drawTiled()
177 FloatPoint patternPhase(dstRect.x() - hPhase, dstRect.y() - vPhase); in drawTiled()
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/src/equil/
H A Dvcs_solve.cpp1518 vcs_VolPhase* vPhase = m_VolPhaseList[pID].get(); in vcs_prep() local
1519 vcs_SpeciesProperties* spProp = vPhase->speciesProperty(spPhIndex); in vcs_prep()