Searched refs:Abc_CommandDRewrite (Results 1 – 1 of 1) sorted by relevance
236 static int Abc_CommandDRewrite ( Abc_Frame_t * pAbc, int argc, char ** argv );955 Cmd_CommandAdd( pAbc, "New AIG", "drw", Abc_CommandDRewrite, 1 ); in Abc_Init()14435 int Abc_CommandDRewrite( Abc_Frame_t * pAbc, int argc, char ** argv ) in Abc_CommandDRewrite() function