Searched refs:nCoLimit (Results 1 – 1 of 1) sorted by relevance
1058 int nCoLimit = Gia_ManCoNum(p) - Tim_ManPoNum(pManTime); in Gia_ManDfsRequireds() local1062 if ( j >= nCoLimit ) in Gia_ManDfsRequireds()