Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSatLE.c170 int Sle_ManCutMerge( Gia_Man_t * p, int iObj, Vec_Int_t * vCuts, Vec_Int_t * vTemp, int nLutSize ) in Sle_ManCutMerge() function
220 nCuts += Sle_ManCutMerge( p, iObj, vCuts, vTemp, nLutSize ); in Sle_ManComputeCuts()