Wrong hybrid-1 extension constraint

[ptal]

Hi,

Given:

<instance format="XCSP3" type="CSP">
  <variables>
    <array id="labels" note="instance variables" size="[2]"> 1..32 </array>
  </variables>
  <constraints>
    <group>
      <extension type="hybrid-1">
        <list> %0 %1 </list>
        <supports> (1,2..9)(1,25..32) </supports>
      </extension>
      <args> labels[0] labels[1] </args>
   </group>
  </constraints>
</instance>

It completely ignores the intervals and simply parses it as a table constraint with supports (1,2) (1,25), calling buildConstraintExtension.

Besides, I was wondering how the "*" (hasStar = true) is represented since we have vector<vector<int>> &tuples, does it take a special integer value such as MIN_INT or MAX_INT?

Thanks!

[audemard]

Hello Pierre, Currently, the parser does not support hybrid table. I put this on my todo list. I will do it after the deadline of ijcai (18/01).

For star, you have the special integer value STAR (which is equal to INT_MAX).

Gilles.