XSB support for MIN and MAX of a type

Issue #527 resolved

Broes De Cat created an issue 2013-10-06

Issues in the rules in attachment (for each of the rules separately): - XSB results in an incorrect structure (inconsistent for f / empty for P) probably because of the MAX function used (why does this kind of bug of incorrect result keep coming up? is there some kind of general check missing?) - It seems the rule for P is afterwards passed over to the grounder (even if XSB already evaluated it).

calcdef_bug.idp

Comments (19)

Joachim Jansen
- changed status to resolved
Fixed improper deletion of theory rules when a definition was calculated with XSB

This fixes bug ~~#527~~

→ <<cset d25b414cea01>>
- 2013-10-07T19:32:10+00:00
Joachim Jansen
- changed title to XSB support for MIN and MAX of a type
Need to add support for MIN and MAX functions of type
- 2013-10-07T19:35:21+00:00
Joachim Jansen
- changed status to open
Only partially fixed
- 2013-10-07T19:35:33+00:00
Joachim Jansen
- changed status to resolved
Added support for MIN and MAX functions of a type

This fixes bug ~~#527~~ and bug ~~#376~~

→ <<cset 0ab88cb7a77f>>
- 2013-10-09T09:43:49+00:00
Joachim Jansen
Added support for MIN and MAX functions of a type

This fixes bug ~~#527~~ and bug ~~#376~~

→ <<cset 423eb86e7e22>>
- 2013-10-09T12:31:06+00:00
Joachim Jansen
Fixed improper deletion of theory rules when a definition was calculated with XSB

This fixes bug ~~#527~~

→ <<cset 720e5407bc5a>>
- 2013-10-17T09:53:34+00:00
Joachim Jansen
Added support for MIN and MAX functions of a type

This fixes bug ~~#527~~ and bug ~~#376~~

→ <<cset b6059ab6cd0c>>
- 2013-10-17T09:53:34+00:00
Joachim Jansen
Fixed improper deletion of theory rules when a definition was calculated with XSB

This fixes bug ~~#527~~

→ <<cset 77b071b93d45>>
- 2013-10-28T14:12:24+00:00
Joachim Jansen
Added support for MIN and MAX functions of a type

This fixes bug ~~#527~~ and bug ~~#376~~

→ <<cset cca770bbf29a>>
- 2013-10-28T14:12:24+00:00
Joachim Jansen
Fixed improper deletion of theory rules when a definition was calculated with XSB

This fixes bug ~~#527~~

→ <<cset 8a5724931922>>
- 2013-12-19T15:50:49+00:00
Joachim Jansen
Added support for MIN and MAX functions of a type

This fixes bug ~~#527~~ and bug ~~#376~~

→ <<cset 015cb7e31df7>>
- 2013-12-19T15:50:49+00:00
Joachim Jansen
Fixed improper deletion of theory rules when a definition was calculated with XSB

This fixes bug ~~#527~~

→ <<cset f8638a239304>>
- 2014-01-02T18:55:37+00:00
Joachim Jansen
Added support for MIN and MAX functions of a type

This fixes bug ~~#527~~ and bug ~~#376~~

→ <<cset a170f06b9bc3>>
- 2014-01-02T18:55:37+00:00
Joachim Jansen
Fixed improper deletion of theory rules when a definition was calculated with XSB

This fixes bug ~~#527~~

→ <<cset 014f94fb569b>>
- 2014-01-03T13:04:07+00:00
Joachim Jansen
Added support for MIN and MAX functions of a type

This fixes bug ~~#527~~ and bug ~~#376~~

→ <<cset 31c26b850523>>
- 2014-01-03T13:04:07+00:00
Joachim Jansen
Fixed improper deletion of theory rules when a definition was calculated with XSB

This fixes bug ~~#527~~

→ <<cset 7c1e97916bf4>>
- 2014-01-13T12:37:42+00:00
Joachim Jansen
Added support for MIN and MAX functions of a type

This fixes bug ~~#527~~ and bug ~~#376~~

→ <<cset 5e46e7bdf10c>>
- 2014-01-13T12:37:42+00:00
Joachim Jansen
Fixed improper deletion of theory rules when a definition was calculated with XSB

This fixes bug ~~#527~~

→ <<cset eaf82e2e887f>>
- 2014-01-17T15:49:04+00:00
Joachim Jansen
Added support for MIN and MAX functions of a type

This fixes bug ~~#527~~ and bug ~~#376~~

→ <<cset 8c79b749e3cc>>
- 2014-01-17T15:49:04+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1