Error with rules containing aggregates with symbolic sets of different tuple sizes

hexhex / core

DLVHEX solver: core system and plugin API

http://www.kr.tuwien.ac.at/research/systems/dlvhex/

GNU Lesser General Public License v2.1

24 stars 8 forks source link

Error with rules containing aggregates with symbolic sets of different tuple sizes #18

Closed 0xbb closed 9 years ago

0xbb commented 9 years ago

Hi, I am getting an error when using multiple aggregates within one rule when the tuples of the symbolic sets have different sizes. To me this seems like a bug in dlvhex and therefore I wanted to report you this error.

Example:

a(1,1). a(2,1).
c(A,B) :- A = #count{X,Y : a(X,Y)},  B = #count{Y : a(X,Y)}.

Output: GeneralError: Symbolic set of aggregate "B = #count { Y : a(X,Y) }" contains tuples of varying sizes

Expected Output: {a(1,1),a(2,1),c(2,1)}

Greetings, Bruno

credl commented 9 years ago

Thank you. The bug is fixed.

0xbb commented 9 years ago

Thank you for your incredible fast bug fix! :) It works now.