Searched defs:NodesOrPl (Results 1 – 1 of 1) sorted by relevance
266 void Io_NtkWriteLatchNode( FILE * pFile, Abc_Obj_t * pLatch, int NodesOrPl ) in Io_NtkWriteLatchNode()289 unsigned Io_NtkWriteIntNode( FILE * pFile, Abc_Obj_t * pNode, int NodesOrPl ) in Io_NtkWriteIntNode()