Details

    • Type: Enhancement
    • Status: Resolved (View Workflow)
    • Priority: Major
    • Resolution: Done
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: None
    • Labels:
      None
    • Sprint:
      2019 Week 41-43 (from Okt 7)
    • Docs QE Status:
      NEW
    • QE Status:
      NEW

      Description

      At the moment a forall statement with a self join like

      forall( $t : Type( constraints1 ) Type( this == $t, constraints2 ) )
      

      is implemented with 2 not nodes and a join. It would be much faster to rewrite it as

      not( Type( constraints1, !constraints2 ) )
      

      and then evaluate it with one single not node.

        Gliffy Diagrams

          Attachments

            Issue Links

              Activity

                People

                • Assignee:
                  mfusco Mario Fusco
                  Reporter:
                  mfusco Mario Fusco
                  Tester:
                  Tibor Zimanyi
                • Votes:
                  0 Vote for this issue
                  Watchers:
                  1 Start watching this issue

                  Dates

                  • Created:
                    Updated:
                    Resolved: