Converting string -> double should be disabled

There is no reason in the domainelementfactory to convert strings to doubles.

Also, this gives very strainge behaviour

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=7e48039de23c552ec0f1be23b622d439

It is disabled in a branch bartb_nostringtodouble

Howver, a lot of tests fail. Mianly, because this connection seems to be abused in the XSB connection. Should be fixed.

SOLUTION: In the xsb connection, there is never a need to call the domainelementfactory. No elements will be created by xsb. All elements that end up in xsb code are pre-existing. Simply keep a maps from domainelements to their string-encodings (and back) to translate back-and-forth?

Comments (3)