User Commands

Since indexing should be automatic the index structure is hidden from the RELFUN user. The only command to control indexing is:

The effect of calling indexing without any option is displaying the current settings.

The switches have the following effects:

• on (off) switches indexing on (off)
• :min-clauses <no> sets the minimal number of clauses for an indexable operator definition to <no>
• :max-vars <no> sets the maximal number of variables allowed in a constant/functor block to <no> (, block variable size, see section 11.3)
• :max-depth <no> sets the maximal depth of the index tree to <no> (index tree depth, see section 11.2)
• :max-args <no> sets the maximal breadth of the index tree to <no> (index tree breadth, see section 11.2)
• :debug on (off): for internal use only

Example:

rfe> indexing
indexing on :min-clauses 2 :max-vars 10 :max-depth 3 :max-args 2 :debug off

rfe> indexing :min-clauses 3 
indexing on :min-clauses 3 :max-vars 10 :max-depth 3 :max-args 2 :debug off

rfe> indexing :max-depth 4 :max-args 3 :max-depth 5
indexing on :min-clauses 2 :max-vars 10 :max-depth 5 :max-args 3 :debug off