Searched refs:vPhase (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecPa.c | 108 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 D | acecTree.c | 308 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 D | dauCanon.c | 1247 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 D | Image.cpp | 172 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 D | vcs_solve.cpp | 1518 vcs_VolPhase* vPhase = m_VolPhaseList[pID].get(); in vcs_prep() local 1519 vcs_SpeciesProperties* spProp = vPhase->speciesProperty(spPhIndex); in vcs_prep()
|