Bug in CP support for partial functions

Issue #813 resolved

Bart Bogaerts created an issue 2014-09-18

Attached file produces different result with and without cp support.

Probably because of partial function which is not translated correctly...

Comments (7)

Bart Bogaerts reporter
- attached scheduling.idp
- attached kleinvoorbeeld.idp
- 2014-09-18T10:10:49+00:00
Joachim Jansen
Enig idee waar de bug vandaan komt? In de grounder of in de solver? Als het in de grounder is wil ik er wel eens naar kijken
- 2014-09-18T11:09:11+00:00
Bart Bogaerts reporter
Ik weet het niet. Ik verdenk eerder de grounder maar dat is ongefundeerd. (basically: dat is omdat dit soort problemen meestal uit de grounder komt; de solver is nogal stabiel)
- 2014-09-18T11:21:04+00:00
Bart Bogaerts reporter
- changed status to resolved
Added better support for partial cp terms

Fixes two things: - For the finite case (non-range) the if conditions was wrong, causing partial things to be grounded as total and vice versa. - For the infinite case, partial functions were not allowed yet. Fixes ~~#813~~

→ <<cset 929f33d6ce0a>>
- 2014-09-18T15:04:15+00:00
Bart Bogaerts reporter
Added test for partial functions with cp. See ~~#813~~

→ <<cset 6ef760a3f644>>
- 2014-09-18T15:04:15+00:00
Ingmar Dasseville
Added better support for partial cp terms

Fixes two things: - For the finite case (non-range) the if conditions was wrong, causing partial things to be grounded as total and vice versa. - For the infinite case, partial functions were not allowed yet. Fixes ~~#813~~

→ <<cset 929f33d6ce0a>>
- 2014-10-06T12:38:02+00:00
Ingmar Dasseville
Added test for partial functions with cp. See ~~#813~~

→ <<cset 6ef760a3f644>>
- 2014-10-06T12:38:02+00:00
Log in to comment