Description Pascal Rapicault 2010-05-19 14:20:57 EDT

Created attachment 169172 [details]
Patch

The code in the projector#encode methods reads like that

			createConstraintsForSingleton();

			createMustHave(entryPointIU, alreadyExistingRoots);

Because we encode the singletons before having encoded the entry point and therefore before having encoded every single IU, it is possible to miss some singleton constraints from the encoding. Even though it does not impact us directly (yet), this would still cause problems to callers that would reach into the internals to call the director or even in our competition solver.

The patch is trivial as it just change the order of two lines.