cprudhom/Galak — Issue #27: Quantic bug in AllDiff_AC
Author: jgFages
Created: 2011-12-20 16:08:47+00:00
State: open

Il semblerait qu'il y ait un bug dans AllDiff_AC:

java.lang.IndexOutOfBoundsException: bitIndex < 0: -1
at choco.kernel.memory.structure.OneWordS32BitSet.clear(OneWordS32BitSet.java:251)
at choco.kernel.memory.structure.OneWordS32BitSet.set(OneWordS32BitSet.java:197)
at solver.constraints.propagators.nary.matching.Node.removeEdge(Node.java:96)
at solver.constraints.propagators.nary.PropAllDiffAC$RemProc.execute(PropAllDiffAC.java:168)
at solver.variables.delta.monitor.IntDeltaMonitor.forEach(IntDeltaMonitor.java:81)
at solver.constraints.propagators.nary.PropAllDiffAC.propagate(PropAllDiffAC.java:117)
at solver.recorders.fine.ArcEventRecorder.execute(ArcEventRecorder.java:106)

Je ne connais pas trop ce code mais en gros je crois qu'on supprime un arc de la "matchingstructure", qui n'existe pas
Si vous voulez je pourrais bientôt faire une petite pull request contenant entre autre le Test qui génère cette erreur...
J'essaie de la faire pour demain
a+