Home
last modified time | relevance | path

Searched refs:pSimL (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraImp.c90 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 DfraClaus.c469 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 DfraSim.c135 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 DsswSim.c182 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()