- changed status to resolved
XSB aggregates do not support anything other than a single predicate as formula
Issue #365
resolved
The aggregate
card{x[typeX] : p(x)}
card{x[typeX] :~p(x)}
is supported, but the aggregates
card{x[typeX] : p(x) & q(x) }
card{x[typeX] : p(x) | q(x) }
are not. The conjunction/disjunction is supposed to be transformed into a separate XSB definition - this doesn't happen.
Comments (2)
-
reporter
-
Fixed problem for aggregate clauses with composite formulas
This fixes bug
#365→ <<cset bf9e5140f258>>
- Log in to comment
Fixed problem for aggregate clauses with composite formulas
This fixes bug
#365→ <<cset 518948aa9622>>