core.logic

eliminate FDConstraint, use a template instead of delegation

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Minor Minor
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

Currently the all different goals will exhibit entailment issues since they have implementations of `IRelevant` that just return `true`.

Activity

Hide
David Nolen added a comment - - edited

FD constraints are always forced at the end so this is not a blocker.

Show
David Nolen added a comment - - edited FD constraints are always forced at the end so this is not a blocker.
Hide
David Nolen added a comment -

fixed

Show
David Nolen added a comment - fixed

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: