Confusion about use of #modec

[Janko-dev]

Hi,
I couldn't find any example in which the #modec directive is used nor any further information on it in the manual. I assume this mode declaration is used for the inclusion of X != Y types of literals in the search space, which is what led me to the #modec directive.

Is it possible to elaborate on this declaration and possibly update the manual?

[julambl75]

If you go to the background knowledge section of the manual, you can find conditions explained at the bottom. Moreover, this paper shows it being used in an example, in section A.2. Essentially, specifying #modec(<X>). adds : <X> to a term in the corresponding bodies of the hypothesis space, as far as I can tell by looking at the output when calling ILASP with -s.