search

xcsp3team / XCSP3-CPP-Parser

XCSP3 Core Parser in C++
MIT License
19 stars 11 forks source link

what about "infinity"? #11

Closed massimomorara closed 7 years ago

massimomorara commented 7 years ago

A question: what about "infinity"?

I see, in the specifications of XCSP3, that is possible to define variable as

<var id=" x "> 0..+infinity </var>
<var id=" y "> -infinity..+infinity </var>

but I don't understand if this is part of XCSP3-core or not.

Your parser will support "infinity"?

xcsp3team commented 7 years ago

No, it does not support infinity. I need to fix the bug: the same that appear in issue #10

massimomorara commented 7 years ago

I know that now your parser doesn't support "infinity". Doensn't support it because isn't XCSP3-core or because others reasons? And are you going to support it, in the future?

xcsp3team commented 7 years ago

I need to talk of this with my colleagues. They are in holidays. More news in few weeks.

massimomorara commented 7 years ago

Yes: it's the wrong season to pose this sort of question. :-) No problem: I wait.

xcsp3team commented 7 years ago

Nothing prevents the use of infinity in XCSP3-core (because it is simply stated that only integer variables are considered in XCSP3-core, without any additional precision). However, in the context of the competition, is is clearly indicated that infinity is not authorized.

A new version of the specifications (with mainly a few extensions) is planned in October. More details about XCSP3-core will be given.

Concerning the use of infinity, it will be handled by parsers (just by using a special reserved value). I will discuss with Gilles about that topic.

Christophe