Variable name dictionaries

Author(s): Francisco Bueno.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.11#35 (2003/8/28, 16:15:20 CEST)

• Usage and interface (vndict)
• Documentation on exports (vndict)

Usage and interface (vndict)

Documentation on exports (vndict)

REGTYPE: null_dict/1:

Usage: null_dict(D)

• Description: D is an empty dictionary.

PREDICATE: create_dict/2:

Usage: create_dict(Term, Dict)

• Description: Dict has names for all variables in Term.
• The following properties should hold at call time: Term is any term. (basic_props:term/1)
• The following properties should hold upon exit: Dict is a dictionary of variable names. (vndict:varnamedict/1)

PREDICATE: complete_dict/3:

Usage: complete_dict(Dict, Term, NewDict)

• Description: NewDict is Dict augmented with the variables of Term not yet in Dict.
• The following properties should hold at call time: Dict is currently a term which is not a free variable. (term_typing:nonvar/1) Term is currently a term which is not a free variable. (term_typing:nonvar/1) NewDict is a free variable. (term_typing:var/1)

PREDICATE: complete_vars_dict/3:

Usage: complete_vars_dict(Dict, Vars, NewDict)

• Description: NewDict is Dict augmented with the variables of the list Vars not yet in Dict.
• The following properties should hold at call time: Dict is currently a term which is not a free variable. (term_typing:nonvar/1) Vars is currently a term which is not a free variable. (term_typing:nonvar/1) NewDict is a free variable. (term_typing:var/1)

PREDICATE: prune_dict/3:

Usage: prune_dict(Term, Dict, NewDict)

• Description: NewDict is Dict reduced to just the variables of Term.
• The following properties should hold at call time: Term is currently a term which is not a free variable. (term_typing:nonvar/1) Dict is currently a term which is not a free variable. (term_typing:nonvar/1) NewDict is a free variable. (term_typing:var/1)

PREDICATE: sort_dict/2:

Usage: sort_dict(D, Dict)

• Description: D is sorted into Dict.
• The following properties should hold at call time: D is a dictionary of variable names. (vndict:varnamedict/1)
• The following properties should hold upon exit: Dict is a dictionary of variable names. (vndict:varnamedict/1)

PREDICATE: dict2varnamesl/2:

Usage: dict2varnamesl(Dict, VNs)

• Description: Translates Dict to VNs.
• The following properties should hold at call time: Dict is a dictionary of variable names. (vndict:varnamedict/1)
• The following properties should hold upon exit: VNs is a list of Name=Var, for a variable Var and its name Name. (vndict:varnamesl/1)

PREDICATE: varnamesl2dict/2:

Usage: varnamesl2dict(VNs, Dict)

• Description: Translates VNs to Dict.
• The following properties should hold at call time: VNs is a list of Name=Var, for a variable Var and its name Name. (vndict:varnamesl/1)
• The following properties should hold upon exit: Dict is a dictionary of variable names. (vndict:varnamedict/1)

PREDICATE: find_name/4:

find_name(Vars, Names, V, Name)

Given that vars_names_dict(Dict,Vars,Names) holds, it acts as rename(X,Dict), but the name of X is given as Name instead of unified with it.

PREDICATE: rename/2:

Usage: rename(Term, Dict)

• Description: Unifies each variable in Term with its name in Dict. If no name is found, a new name is created.
• The following properties should hold at call time: Dict is a dictionary of variable names. (vndict:varnamedict/1)

REGTYPE: varname/1:

Usage: varname(N)

• Description: N is term representing a variable name.

REGTYPE: varnamesl/1:

Usage: varnamesl(D)

• Description: D is a list of Name=Var, for a variable Var and its name Name.

REGTYPE: varnamedict/1:

Usage: varnamedict(D)

• Description: D is a dictionary of variable names.

PREDICATE: vars_names_dict/3:

Usage: vars_names_dict(varnamedict(Dict), list(Vars), list(Names))

• Description: Varss is a sorted list of variables, and Names is a list of their names, which correspond in the same order.

Go to the first, previous, next, last section, table of contents.