Detailed Description

Class Documentation

◆ get_attr/3

class get_attr/3

get_attr( + Var,+ Module,- Value)

Request the current value for the attribute named Module If Var is not an attributed variable or the named attribute is not associated to Var this predicate fails silently If Module is not an atom, a type error is raised

◆ get_attrs/2

class get_attrs/2

get_attrs(+ Var,- Attributes)

Get all attributes of Var Attributes is a term of the form att( _Module_, _Value_, _MoreAttributes_), where MoreAttributes is [] for the last attribute

◆ put_attr/3

class put_attr/3

put_attr(+ Var,+ Module,+ Value)

If Var is a variable or attributed variable, set the value for the attribute named Module to Value If an attribute with this name is already associated with Var, the old value is replaced Backtracking will restore the old value (i.e., an attribute is a samutable term See also setarg/3 ) This predicate raises a representation error if Var is not a variable and a type error if Module is not an atom 1

◆ put_attrs/2

class put_attrs/2

put_attrs(+ Var,+ Attributes)

Set all attributes of Var Attributes is a term of the form att( _Module_, _Value_, _MoreAttributes_), where MoreAttributes is [] for the last attribute

◆ del_attr/2

class del_attr/2

del_attr(+ Var,+ Module)

Delete the named attribute If Var loses its last attribute it is transformed back into a traditional Prolog variable If Module is not an atom, a type error is raised In all other cases this predicate succeeds regardless whether or not the named attribute is present

◆ del_attrs/1

class del_attrs/1

del_attrs(+ Var)

If Var is an attributed variable, delete all its attributes In all other cases, this predicate succeeds without side-effects

◆ attvar/1

class attvar/1

attvar( -Var)

Succeed if Var is an attributed variable

Function Documentation

◆ Yap_InitAttVarPreds()

void Yap_InitAttVarPreds ( void )

Definition at line 1277 of file attvar.c.

Functions
void	Yap_InitAttVarPreds (void)