patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Handle noninteger intervals appropriately #15

New Issue
Closed
opened 2018-04-22 13:34:27 +02:00 by patrick · 1 comment
patrick commented 2018-04-22 13:34:27 +02:00
Owner
Copy Link
Copy Source

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 discussionbug labels 2018-04-22 13:34:27 +02:00
patrick commented 2018-04-22 17:35:38 +02:00
Author
Owner
Copy Link
Copy Source

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

I reimplemented the integer check methods to determine the correct type (consisting of domain {integer, noninteger, unknown} × set size {empty, unit, multi, unknown}).
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
aesthetic
bug
discussion
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
suggestion
task
wontfix
No labels bug discussion
Milestone
No items
No Milestone anthem 0.1.9
Assignees
Clear assignees
patrick (Patrick Lühne)
No Assignees patrick
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: patrick/anthem#15