Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Quantic bug in AllDiff_AC #27

Closed
jgFages opened this issue Dec 20, 2011 · 1 comment
Closed

Quantic bug in AllDiff_AC #27

jgFages opened this issue Dec 20, 2011 · 1 comment

Comments

@jgFages
Copy link
Contributor

jgFages commented Dec 20, 2011

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+

@jgFages
Copy link
Contributor Author

jgFages commented May 24, 2012

problème résolu par le nouvel algo...

@jgFages jgFages closed this as completed May 24, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant