Commit f3822f33 authored by Allan MILHOMME's avatar Allan MILHOMME

m

parent ba5d60f3
Il n'y a qu'une seule branche par boucle.
Si une condition dépend du nombre de tour, elle est considérée inconnue
array[?] = 1
counter = 0
for (int i=0;i<array.length;i++)
{
if (array[i] == 1)
counter ++
}
int j = 0;
for (int i=0;i<array.length;i++)
{
j += i; //0, 1, 3,
}
Une variable est modifiée par la boucle si sa dernière assignation dans la boucle inclue une variable modifiée par la boucle.
Une variable est un incrément elle est la somme d'elle-mêmes et d'un nombre fixe.
Si une variable est assignée àune opération la comprenant, elles n'a plus d'infos
sauf si c'est une addition d'elles-mêmes et d'une constante : Auquel cas
package inflow;
public class LoopInflow extends BasicInflow {
public LoopInflow(BasicInflow p) {
super(p);
}
public HigherInfo updateInfos() {
return ((BasicInflow) this.getParentInflow()).currentInfos;
}
}
package inflow;
public class LoopValue implements Value {
public final LoopInflow loop;
public LoopValue(LoopInflow l) {
this.loop = l;
}
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment