Searched refs:Ssw_SmlNodeIsZero (Results 1 – 1 of 1) sorted by relevance
294 int Ssw_SmlNodeIsZero( Ssw_Sml_t * p, Aig_Obj_t * pObj ) in Ssw_SmlNodeIsZero() function988 if ( !Ssw_SmlNodeIsZero(p, pObj) ) in Ssw_SmlCheckNonConstOutputs()1354 if ( Ssw_SmlNodeIsZero(p, pObj) ) in Ssw_SmlGetCounterExample()