Home
last modified time | relevance | path

Searched defs:ppLeaves (Results 1 – 10 of 10) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkMap.c79 If_Obj_t * Lpk_MapPrime( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves ) in Lpk_MapPrime()
110 If_Obj_t * Lpk_MapTree_rec( Lpk_Man_t * p, Kit_DsdNtk_t * pNtk, If_Obj_t ** ppLeaves, int iLit, If_… in Lpk_MapTree_rec()
H A DlpkMux.c89 If_Obj_t * Lpk_MapTreeMux_rec( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves ) in Lpk_MapTreeMux_rec()
133 If_Obj_t * Lpk_MapSuppRedDec_rec( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves in Lpk_MapSuppRedDec_rec()
H A DlpkMulti.c272 …Kit_DsdNtk_t ** ppNtks, int * piLits, int * piCofVar, int nCBars, If_Obj_t ** ppLeaves, int nLeave… in Lpk_MapTreeMulti_rec()
347 If_Obj_t * Lpk_MapTreeMulti( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves ) in Lpk_MapTreeMulti()
H A DlpkCore.c209 If_Obj_t * pDriver, * ppLeaves[16]; in Lpk_ExploreCut() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcFpga.c259 Fpga_Node_t ** ppLeaves; in Abc_NodeFromFpga_rec() local
H A DabcMap.c403 Map_Node_t ** ppLeaves; in Abc_NodeFromMapPhase_rec() local
697 Map_Node_t ** ppLeaves; in Abc_NodeFromMapCutPhase() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkMap.c283 int i, k, nLeaves, * ppLeaves; in Nwk_ManFromIf() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifUtil.c491 int i, k, nLeaves, * ppLeaves; in If_ManCollectMappingInt() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/
H A DfpgaInt.h237 Fpga_Node_t * ppLeaves[FPGA_MAX_LEAVES+1]; // the leaves of this cut member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/
H A DmapperInt.h268 Map_Node_t * ppLeaves[6]; // the leaves of this cut member