Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivySeq.c150 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 DivyCut.c521 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 Divy.h155 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 DivyUtil.c749 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 DivyCutTrav.c56 Ivy_Cut_t * pCut; in Ivy_NodeFindCutsTravAll()
H A DivyRwr.c158 Ivy_Cut_t * pCut; in Ivy_NodeRewrite()