[LOGIC-93] eliminate FDConstraint, use a template instead of delegation Created: 03/Jan/13 Updated: 17/May/13 Resolved: 17/May/13 |
|
| Status: | Resolved |
| Project: | core.logic |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | None |
| Type: | Defect | Priority: | Minor |
| Reporter: | David Nolen | Assignee: | David Nolen |
| Resolution: | Completed | Votes: | 0 |
| Labels: | None | ||
| Description |
|
Currently the all different goals will exhibit entailment issues since they have implementations of `IRelevant` that just return `true`. |
| Comments |
| Comment by David Nolen [ 07/Jan/13 7:03 PM ] |
|
FD constraints are always forced at the end so this is not a blocker. |
| Comment by David Nolen [ 17/May/13 12:57 AM ] |
|
fixed |