Searched refs:pSimL (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraImp.c | 90 unsigned * pSimL, * pSimR; in Sml_NodeCheckImp() local 92 pSimL = Fra_ObjSim( p, Left ); in Sml_NodeCheckImp() 95 if ( pSimL[k] & ~pSimR[k] ) in Sml_NodeCheckImp() 113 unsigned * pSimL, * pSimR; in Sml_NodeNotImpWeight() local 115 pSimL = Fra_ObjSim( p, Left ); in Sml_NodeNotImpWeight() 118 Counter += Aig_WordCountOnes( pSimL[k] & ~pSimR[k] ); in Sml_NodeNotImpWeight() 135 unsigned * pSimL, * pSimR; in Sml_NodeSaveNotImpPatterns() local 137 pSimL = Fra_ObjSim( p, Left ); in Sml_NodeSaveNotImpPatterns() 140 pResult[k] |= pSimL[k] & ~pSimR[k]; in Sml_NodeSaveNotImpPatterns()
|
H A D | fraClaus.c | 469 unsigned * pSimL, * pSimR; in Fra_ClausSmlNodesAreImp() local 471 pSimL = Fra_ObjSim(pSeq, pObj1->Id); in Fra_ClausSmlNodesAreImp() 474 if ( pSimL[k] & ~pSimR[k] ) // !(Obj1 -> Obj2) in Fra_ClausSmlNodesAreImp() 492 unsigned * pSimL, * pSimR; in Fra_ClausSmlNodesAreImpC() local 494 pSimL = Fra_ObjSim(pSeq, pObj1->Id); in Fra_ClausSmlNodesAreImpC() 497 if ( pSimL[k] & pSimR[k] ) in Fra_ClausSmlNodesAreImpC()
|
H A D | fraSim.c | 135 unsigned * pSimL, * pSimR; in Fra_SmlNodeNotEquWeight() local 137 pSimL = Fra_ObjSim( p, Left ); in Fra_SmlNodeNotEquWeight() 140 Counter += Aig_WordCountOnes( pSimL[k] ^ pSimR[k] ); in Fra_SmlNodeNotEquWeight()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswSim.c | 182 unsigned * pSimL, * pSimR; in Ssw_SmlNodeNotEquWeight() local 184 pSimL = Ssw_ObjSim( p, Left ); in Ssw_SmlNodeNotEquWeight() 187 Counter += Aig_WordCountOnes( pSimL[k] ^ pSimR[k] ); in Ssw_SmlNodeNotEquWeight()
|