Author(s): Christian Holzbaur, Daniel Cabeza, Manuel Carro.
Version: 1.3#121 (1999/11/26, 20:23:11 MET)
This library implements attributed variables, which provide a mechanism for extensible unification.
attributes
)attributes
)
Usage: attach_attribute(Var,Attr)
Attr
to Var
.
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: get_attribute(Var,Attr)
Attr
with the attribute of Var
, or fail if Var
has no attribute.
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: update_attribute(Var,Attr)
Var
to Attr
.
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: detach_attribute(Var)
Var
.
Var
is a free variable.
(term_typing:var/1
)
Go to the first, previous, next, last section, table of contents.