Model expansion does not detect inconsistencies related to function symbols (bad Lua interaction)

Issue #917 new

Bart Bogaerts created an issue 2016-05-12

Comments (6)

Bart Bogaerts reporter
Are function constraints missing?
- 2016-05-12T09:05:04+00:00
Bart Bogaerts reporter
Or.... Does it have something to do maybe with accessing the structure through unsupported Lua manipulations?
- 2016-05-12T09:22:52+00:00
Bart Bogaerts reporter
- changed title to Model expansion does not detect inconsistencies related to function symbols (bad Lua interaction)
- 2016-05-12T09:30:31+00:00
Bart Bogaerts reporter
The issue is probably due to accessing the tables directly in Lua (while there is no official support for this feature).

It has nothing to do with constructors (see http://dtai.cs.kuleuven.be/krr/idp-ide/?src=291c95901812cd9111665930680cdbcf)

MX assumes to get a consistent structure.

The function constraints are only added for symbols that occur in the grounding.

The lua interaction does not perform the required consistency checks.
- 2016-05-12T09:33:43+00:00
Ingmar Dasseville
There is at least a bug in the optimalpropagate too then http://dtai.cs.kuleuven.be/krr/idp-ide/?src=ecbe68115dd3b1e3200fff7db4135c16
- 2016-05-12T10:33:24+00:00
Bart Bogaerts reporter
You can find the bug here:

MX only adds "function constraints" for symbols that occur in the grounding.
- 2016-05-12T10:39:50+00:00
Log in to comment