Variable name dictionaries

Author(s): Francisco Bueno.

Version: 1.10#7 (2006/4/26, 19:22:13 CEST)

Version of last change: 1.9#99 (2003/8/27, 17:56:12 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.

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.

PREDICATE: prune_dict/3:

Usage: prune_dict(+Term, +Dict, -NewDict)

• Description: NewDict is Dict reduced to just the variables of Term.

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 a 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(Dict, Vars, Names)

• Description: Varss is a sorted list of variables, and Names is a list of their names, which correspond in the same order.
• Call and exit should be compatible with: Dict is a dictionary of variable names. (vndict:varnamedict/1) Vars is a list. (basic_props:list/1) Names is a list. (basic_props:list/1)

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