Searched refs:Fra_ManStart (Results 1 – 4 of 4) sorted by relevance
104 Fra_Man_t * Fra_ManStart( Aig_Man_t * pManAig, Fra_Par_t * pPars ) in Fra_ManStart() function
383 p = Fra_ManStart( pManAig, pPars ); in Fra_FraigPerform()
348 extern Fra_Man_t * Fra_ManStart( Aig_Man_t * pManAig, Fra_Par_t * pParams );
409 p = Fra_ManStart( pManAig, pPars ); in Fra_FraigInduction()