Searched refs:regular_inputs_to_remove (Results 1 – 1 of 1) sorted by relevance
387 std::vector<bool> regular_inputs_to_remove; member503 diff->regular_inputs_to_remove.size(); in AddOrUpdateRegularFanin()505 diff->regular_inputs_to_remove[relative_removal_index]) { in AddOrUpdateRegularFanin()507 diff->regular_inputs_to_remove[relative_removal_index] = false; in AddOrUpdateRegularFanin()545 if (AddOrUpdateAtIndex(&diff->regular_inputs_to_remove, in RemoveRegularFanin()644 ResizeByTrimmingEndForValue(&diff->regular_inputs_to_remove, false); in IsEmpty()649 diff->regular_inputs_to_remove.empty() && in IsEmpty()667 std::vector<bool>().swap(diff->regular_inputs_to_remove); in Reset()680 ResizeByTrimmingEndForValue(&diff->regular_inputs_to_remove, false); in IsWellFormed()687 !diff->regular_inputs_to_remove.empty()) { in IsWellFormed()[all …]