Searched refs:numFanins (Results 1 – 2 of 2) sorted by relevance
181 unsigned numFanins(Var c) { in numFanins() function189 DebugAssert(i < numFanins(c), "attempt to access unknown fanin"); in getFanin()
384 if (d_cnfManager->numFanins(v) == 0) { in findSplitterRec()398 n = d_cnfManager->numFanins(v); in findSplitterRec()465 n = d_cnfManager->numFanins(v); in findSplitterRec()478 n = d_cnfManager->numFanins(v); in findSplitterRec()494 DebugAssert(d_cnfManager->numFanins(v) == 2, "Expected 2 fanins"); in findSplitterRec()