He encontrado una cosa que me ha sorprendido con los objetos de clases en Java.
Opongo a una lista de cláusulas ListeClauses
un goal
que esta modificado cada vez que se puede unificar con unif
(un método creado por mi propio) una cláusula con el goal
. Por eso, quiero empezar de nuevo a menos de que el goal
ya no fue modificado.
Aunque el goal
no esta modificado por el codigo expresamente, cada vez que cambio goal
, cambio newGoal
.
Pienso que esta a causa de newGoal=goal;
int ir = Clause.ListeClauses.size()-1;
Clause goal=new Clause();
goal =(Clause) Clause.ListeClauses.get(ir);
Clause newGoal =new Clause();
boolean result = false;
while (goal!=newGoal){
newGoal=goal;
for(int i=0;i<ir;i++){
Clause c1 =new Clause();
c1 =(Clause)Clause.ListeClauses.get(i);
System.out.println("c" +i + ": "+ c1);
System.out.println("goal: " + goal);
if (goal.unif(c1)){
goal.remove(0);
c1.remove(0);
goal.addAll(c1);
System.out.println("UNIFICATION DONE\ngoal: " + goal+"\n**********");
}
}
}
Entonces, este ciclo esta hecho solamente una vez de toda manera, que no esta lo que busco.
¿Como hacer, entonces para reconocer cuando fue modificado el objeto?
unif
para todos losClause
que se encuentran enClause.ListeClauses
de manera que solo exista un soloClause
. ¿Cierto?