Next: , Previous: , Up: FDBG Concepts   [Contents][Index]


10.15.2.6 Name Auto-Generation

There are two cases when a name is automatically generated.

  1. When a name is assigned to a compound term by the user, each variable appearing in it is assigned a so called derived name, which is created by appending a variant of the selector of the variable to the original name. For example, the call:
    fdbg_assign_name(bar(A, [B, C], foobar(D, E)), foo)
    

    will create the following name/term entries:

    NameTerm/VariableSelector
    foobar(A, [B, C], foobar(D, E))[]
    foo_1A[1]
    foo_2_1B[2,#1]
    foo_2_2C[2,#2]
    foo_3_1D[3,1]
    foo_3_2E[3,2]

    See FDBG Naming Terms.

  2. If, during the annotation of a term (see FDBG Annotation) an unnamed constraint variable is found, then it is assigned a unique “anonymous” name. This name consists of the prefix ‘fdvar’, an underscore character, and an integer. The integer is automatically incremented when necessary.

Send feedback on this subject.