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


Variable name dictionaries

Author(s): Francisco Bueno.

Version: 1.10#6 (2004/8/7, 21:46:39 CEST)

Version of last change: 1.9#99 (2003/8/27, 17:56:12 CEST)

Usage and interface (vndict)

Documentation on exports (vndict)

REGTYPE: null_dict/1:

Usage: null_dict(D)

PREDICATE: create_dict/2:

Usage: create_dict(Term, Dict)

PREDICATE: complete_dict/3:

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

PREDICATE: complete_vars_dict/3:

Usage: complete_vars_dict(+Dict, +Vars, -NewDict)

PREDICATE: prune_dict/3:

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

PREDICATE: sort_dict/2:

Usage: sort_dict(D, Dict)

PREDICATE: dict2varnamesl/2:

Usage: dict2varnamesl(Dict, VNs)

PREDICATE: varnamesl2dict/2:

Usage: varnamesl2dict(VNs, Dict)

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)

REGTYPE: varname/1:

Usage: varname(N)

REGTYPE: varnamesl/1:

Usage: varnamesl(D)

REGTYPE: varnamedict/1:

Usage: varnamedict(D)

PREDICATE: vars_names_dict/3:

Usage: vars_names_dict(Dict, Vars, Names)


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