Searched refs:Abc_NtkInvertConstraints (Results 1 – 5 of 5) sorted by relevance
326 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAiger_old()361 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAiger_old()481 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAigerGz()504 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAigerGz()723 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAiger()770 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAiger()
579 Abc_NtkInvertConstraints( pNtkNew ); in Io_ReadAiger()
2243 void Abc_NtkInvertConstraints( Abc_Ntk_t * pNtk ) in Abc_NtkInvertConstraints() function
1042 extern ABC_DLL void Abc_NtkInvertConstraints( Abc_Ntk_t * pNtk );
27719 Abc_NtkInvertConstraints( pNtk ); in Abc_CommandConstr()