Operace RepeatEstimates
Plně kvalifikovaný název: Std.ResourceEstimation.RepeatEstimates
operation RepeatEstimates(count : Int) : Unit is Adj
Shrnutí
Dá estimátoru prostředků pokyn, aby předpokládal, že prostředky z volání této operace, dokud se volání Adjoint RepeatEstimates
nezohlední count
krát, aniž by bylo nutné tento kód mnohokrát spustit.
Vstup
počítat
Předpokládaný počet opakování, faktor k vynásobení nákladů