Attributed variables

Author(s): Christian Holzbaur, Daniel Cabeza, Manuel Carro.

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

This library implements attributed variables, which provide a mechanism for extensible unification.

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

Usage and interface (attributes)

Documentation on exports (attributes)

PREDICATE: attach_attribute/2:

Usage 1: attach_attribute(Var,Attr)

• Description: Attach attribute Attr to Var.
• The following properties should hold at call time: Var is a free variable. (term_typing:var/1) Attr is currently a term which is not a free variable. (term_typing:nonvar/1)

Usage 2: attach_attribute(Var,Attr)

• Description: Attach attribute Attr to Var.
• The following properties should hold at call time: Var is a free variable. (term_typing:var/1) Attr is currently a term which is not a free variable. (term_typing:nonvar/1)

PREDICATE: get_attribute/2:

Usage 1: get_attribute(Var,Attr)

• Description: Unify Attr with the attribute of Var, or fail if Var has no attribute.
• The following properties should hold at call time: Var is a free variable. (term_typing:var/1)
• The following properties should hold upon exit: Attr is currently a term which is not a free variable. (term_typing:nonvar/1)

Usage 2: get_attribute(Var,Attr)

• Description: Unify Attr with the attribute of Var, or fail if Var has no attribute.
• The following properties should hold at call time: Var is a free variable. (term_typing:var/1)
• The following properties should hold upon exit: Attr is currently a term which is not a free variable. (term_typing:nonvar/1)

PREDICATE: update_attribute/2:

Usage 1: update_attribute(Var,Attr)

• Description: Change the attribute of attributed variable Var to Attr.
• The following properties should hold at call time: Var is a free variable. (term_typing:var/1) Attr is currently a term which is not a free variable. (term_typing:nonvar/1)

Usage 2: update_attribute(Var,Attr)

• Description: Change the attribute of attributed variable Var to Attr.
• The following properties should hold at call time: Var is a free variable. (term_typing:var/1) Attr is currently a term which is not a free variable. (term_typing:nonvar/1)

PREDICATE: detach_attribute/1:

Usage 1: detach_attribute(Var)

• Description: Take out the attribute from the attributed variable Var.
• The following properties should hold at call time: Var is a free variable. (term_typing:var/1)

Usage 2: detach_attribute(Var)

• Description: Take out the attribute from the attributed variable Var.
• The following properties should hold at call time: Var is a free variable. (term_typing:var/1)

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