Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcSim.c58 word * pSimRo = Wlc_ObjSim( p, iObj ); in Wlc_ObjSimRo() local
61 pSimRo[w] = pSimRi[w]; in Wlc_ObjSimRo()
H A DwlcGraft.c60 word * pSimRo = Wlc_ObjSim( p, iObj ); in Wlc_ObjSimRo() local
63 pSimRo[w] = pSimRi[w]; in Wlc_ObjSimRo()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecSatG.c385 word * pSimRo = Cec3_ObjSim( p, iObj ); in Cec3_ObjSimRo() local
388 pSimRo[w] = pSimRi[w]; in Cec3_ObjSimRo()
H A DcecSat.c403 word * pSimRo = Cec2_ObjSim( p, iObj ); in Cec2_ObjSimRo() local
406 pSimRo[w] = pSimRi[w]; in Cec2_ObjSimRo()