Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A Dsaig.h134 extern Aig_Man_t * Saig_ManDupWithPhase( Aig_Man_t * pAig, Vec_Int_t * vInit );
H A DsaigDup.c482 Aig_Man_t * Saig_ManDupWithPhase( Aig_Man_t * pAig, Vec_Int_t * vInit ) in Saig_ManDupWithPhase() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswRarity.c1013 Aig_Man_t * pNewAig = Saig_ManDupWithPhase( pAig, p->vInits ); in Ssw_RarSimulate()