Searched refs:SC0_Lit1 (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/ |
| H A D | FxchDiv.c | 119 SC0_Lit1, in Fxch_DivCreate() local
129 SC0_Lit1 = 0; in Fxch_DivCreate()
142 SC0_Lit1 = Fxch_ManGetLit( pFxchMan, pSubCube0->iCube, pSubCube0->iLit1 ); in Fxch_DivCreate()
149 Vec_IntPush( pFxchMan->vCubeFree, Abc_Var2Lit( SC0_Lit1, 0 ) ); in Fxch_DivCreate()
157 Vec_IntPush( pFxchMan->vCubeFree, Abc_Var2Lit( SC0_Lit1, 1 ) ); in Fxch_DivCreate()
168 SC0_Lit1 = Fxch_ManGetLit( pFxchMan, pSubCube0->iCube, pSubCube0->iLit1 ); in Fxch_DivCreate()
172 Vec_IntPush( pFxchMan->vCubeFree, SC0_Lit1 ); in Fxch_DivCreate()
173 else if ( SC0_Lit1 == Abc_LitNot( SC1_Lit0 ) ) in Fxch_DivCreate()
|