sub-vocabulary in modelexpand ?

Issue #957 new
Pierre Carbonnelle created an issue

The IDP 3 manual has this to say about modelexpand : "The third argument (vocabulary) is optional and allows you to specify a subvocabulary containing only the symbols in which you’re intersted."

So, it should not increase the number of structures found. Yet, this program shows that this is not true. Am I missing something ?

Comments (0)

  1. Log in to comment