Out of bounds for cartesian product

Description

For the following query I get:

>>> :kodkod A = {1,2} & avl = {1|>2, 1|>3, 2|>2, 2|>3, 4|->2} & avl = A*B

rule(cart_div(irange(0,inf),irange(2,2)),[irange(_105301,_105303)])
rule_result(cart_div(irange(0,inf),irange(2,2)),[irange(0,inf)])

rule(cart_div(irange(5,5),irange(0,inf)),[irange(_107111,_107113)])
rule_result(cart_div(irange(5,5),irange(0,inf)),[irange(1,5)])

rule(cart_div(irange(5,5),irange(2,2)),[irange(_107861,_107863)])
rule_result(cart_div(irange(5,5),irange(2,2)),[irange(2,3)])

rule(cart_div(irange(5,5),irange(2,3)),[irange(_108817,_108819)])
rule_result(cart_div(irange(5,5),irange(2,3)),[irange(1,3)])
kodkod ok: A = {1,2} & avl = {(1|>2),(1|>3),(2|>2),(2|>3)... ints: irange(1,3), intatoms: irange(1,3)
Kodkod module started up successfully (SAT solver SAT4J with timeout of 1500 ms).
java.lang.IllegalArgumentException: integer out of bounds
at de.stups.probkodkod.types.IntsetType.encodeElement(IntsetType.java:43)

Environment

None

Activity

Show:

Michael Leuschel October 30, 2020 at 3:33 PM

This query works:

Details

Assignee

Reporter

Priority

Created October 30, 2020 at 3:33 PM
Updated October 30, 2020 at 3:33 PM