IlpLoops

maxIterations = 100 // Assume that we iterate at most one hunder times
var iterations // non-negative integer
iterations.SetLessOrEqual(maxIterations)
var variables // variables which we use in loop
for counter in 1..maxIteratations do
    var isLooping = counter.IsLessOrEqual(iterations)
    for variable in variables do
        variable = isLooping.Condition(
            updateVariable(variable, counter),
            variable)
        )