Variable name dictionaries

Author(s): Francisco Bueno.

Version: 1.5#118 (2000/4/19, 18:13:43 CEST)

Version of last change: 0.8#19 (1998/12/3, 12:53:16 MET)

• 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: 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(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.