computeFixpointAllocation(rc, tot_guarant, nonZeroGuarQueues, unassigned, false); computeFixpointAllocation(rc, tot_guarant, zeroGuarQueues, unassigned, true);
computeFixpointAllocation(rc, tot_guarant, nonZeroGuarQueues, unassigned, false); computeFixpointAllocation(rc, tot_guarant, zeroGuarQueues, unassigned, true);