Uploaded image for project: 'Drools'
  1. Drools
  2. DROOLS-6295

Conjunction of disjunction of "not equal" constraints matching issue with executable model

    XMLWordPrintable

Details

    • Bug
    • Resolution: Done
    • Major
    • None
    • 7.52.0.Final
    • core engine
    • None
    • 2021 Week 16-18 (from Apr 19)
    • Hide

      Run:

      mvn clean test
      

      on attached reproducer.

      Show
      Run: mvn clean test on attached reproducer.
    • Undefined
    • NEW
    • NEW

    Description

      When combining at least 3 "not equal" constraints in a conjunction of disjunction,
      the pattern will not match as expected when compiled with executable model.

      For example the following rule:

          rule "test with three attributes"
          when Pojo(x != 0 && (y != 11 || z != 12))
          then
          end
      

      if compiled with executable model, will match against the following fact:

          Pojo{x=0, y=1, z=2}
      

      whereas it does not when compiled in DRL mode.

      Attachments

        Issue Links

          Activity

            People

              mfusco@redhat.com Mario Fusco
              mcasalino Matteo Casalino (Inactive)
              Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: