Searched refs:Saig_ManCreateMan (Results 1 – 1 of 1) sorted by relevance
66 Saig_SimObj_t * Saig_ManCreateMan( Aig_Man_t * p ) in Saig_ManCreateMan() function276 pAig = Saig_ManCreateMan( p ); in Saig_ManComputeSwitchProb4s()