Handle noninteger intervals appropriately #15

New Issue

patrick · 2018-04-22T13:34:27+02:00

patrick commented

2018-04-22 13:34:27 +02:00

An interval m..n is a set of integers even when m and n are not assumed to be placeholders for integers.

If they are not, then the interval is empty.

More complicated cases:

p(X) :- X = (1..5) + (9..12).
p(X) :- X = 1..(5 + 9)..12.
q(X) :- X = 1..7..5.

An interval `m..n` is a set of integers even when `m` and `n` are not assumed to be placeholders for integers. If they are not, then the interval is empty. More complicated cases: p(X) :- X = (1..5) + (9..12). p(X) :- X = 1..(5 + 9)..12. q(X) :- X = 1..7..5.

patrick added this to the anthem 0.1.9 milestone 2018-04-22 13:34:27 +02:00

patrick self-assigned this 2018-04-22 13:34:27 +02:00

patrick added the

discussion

bug

labels 2018-04-22 13:34:27 +02:00

patrick commented

2018-04-22 17:35:38 +02:00

I reimplemented the integer check methods to determine the correct type (consisting of domain {integer, noninteger, unknown} × set size {empty, unit, multi, unknown}).

patrick closed this issue

2018-04-22 17:35:38 +02:00

Sign in to join this conversation.