Searched refs:Ivy_Cut_t (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivySeq.c | 150 Ivy_Cut_t * pCut; in Ivy_NodeRewriteSeq() 624 static inline int Ivy_CutPrescreen( Ivy_Cut_t * pCut, int Id0, int Id1 ) in Ivy_CutPrescreen() 646 static inline int Ivy_CutDeriveNew2( Ivy_Cut_t * pCut, Ivy_Cut_t * pCutNew, int IdOld, int IdNew0, … in Ivy_CutDeriveNew2() 722 static inline int Ivy_CutDeriveNew( Ivy_Cut_t * pCut, Ivy_Cut_t * pCutNew, int IdOld, int IdNew0, i… in Ivy_CutDeriveNew() 782 static inline unsigned Ivy_NodeCutHash( Ivy_Cut_t * pCut ) in Ivy_NodeCutHash() 802 static inline int Ivy_CutDeriveNew3( Ivy_Cut_t * pCut, Ivy_Cut_t * pCutNew, int IdOld, int IdNew0, … in Ivy_CutDeriveNew3() 846 static inline int Ivy_CutCheckDominance( Ivy_Cut_t * pDom, Ivy_Cut_t * pCut ) in Ivy_CutCheckDominance() 875 Ivy_Cut_t * pCut; in Ivy_CutFindOrAddFilter() 938 Ivy_Cut_t * pCut; in Ivy_CutCompactAll() 964 void Ivy_CutPrintForNode( Ivy_Cut_t * pCut ) in Ivy_CutPrintForNode() [all …]
|
H A D | ivyCut.c | 521 static inline unsigned Ivy_NodeCutHash( Ivy_Cut_t * pCut ) in Ivy_NodeCutHash() 543 static inline void Ivy_NodeCutShrink( Ivy_Cut_t * pCut, int iOld ) in Ivy_NodeCutShrink() 564 static inline int Ivy_NodeCutExtend( Ivy_Cut_t * pCut, int iNew ) in Ivy_NodeCutExtend() 620 static inline int Ivy_NodeCutDeriveNew( Ivy_Cut_t * pCut, Ivy_Cut_t * pCutNew, int IdOld, int IdNew… in Ivy_NodeCutDeriveNew() 680 int Ivy_NodeCutFindOrAdd( Ivy_Store_t * pCutStore, Ivy_Cut_t * pCutNew ) in Ivy_NodeCutFindOrAdd() 682 Ivy_Cut_t * pCut; in Ivy_NodeCutFindOrAdd() 716 static inline int Ivy_CutCheckDominance( Ivy_Cut_t * pDom, Ivy_Cut_t * pCut ) in Ivy_CutCheckDominance() 744 Ivy_Cut_t * pCut; in Ivy_NodeCutFindOrAddFilter() 811 Ivy_Cut_t * pCut; in Ivy_NodeCompactCuts() 834 void Ivy_NodePrintCut( Ivy_Cut_t * pCut ) in Ivy_NodePrintCut() [all …]
|
H A D | ivy.h | 155 typedef struct Ivy_Cut_t_ Ivy_Cut_t; typedef 172 Ivy_Cut_t pCuts[IVY_CUT_LIMIT]; // storage for cuts 549 extern int Ivy_CutTruthPrint( Ivy_Man_t * p, Ivy_Cut_t * pCut, unsigned uTruth );
|
H A D | ivyUtil.c | 749 int Ivy_CutTruthPrint2( Ivy_Man_t * p, Ivy_Cut_t * pCut, unsigned uTruth ) in Ivy_CutTruthPrint2() 771 int Ivy_CutTruthPrint( Ivy_Man_t * p, Ivy_Cut_t * pCut, unsigned uTruth ) in Ivy_CutTruthPrint()
|
H A D | ivyCutTrav.c | 56 Ivy_Cut_t * pCut; in Ivy_NodeFindCutsTravAll()
|
H A D | ivyRwr.c | 158 Ivy_Cut_t * pCut; in Ivy_NodeRewrite()
|