Lines Matching defs:and
11 % the License for the specific language governing rights and limitations
49 it can be unified with other terms and
55 \item when an attributed variable occurs in the unification and in some
63 Before an attribute can be created and used, it must be declared
71 and usually it is the name of the module where this attribute
72 is being created and used.
89 are attribute names and
96 The former is called \defnotionni{unqualified} and the latter
148 \about{Attr} and all its other attributes are free variables.
149 If \about{Var} is already an attributed variable and its attribute is
167 and it binds
168 \about{X} to the whole attributed variable and \about{A} to the attribute
171 an attributed variable (it would create a new attributed variable and unify this
185 attribute values are no longer accessed and it would compile
190 the list has to be dereferenced for each access and update).
191 To avoid performance loss for both attribute updating and
216 the contents of their attributes and can specify the outcome
233 \bipref{true/0}{../bips/kernel/control/true-0.html} are ignored and never
240 and each of them receives either the whole attributed variable
248 the handlers for the attributes \notation{a} and \notation{b} should
286 to the attributed variable and no handlers are invoked.
290 \emph{and} all handlers for the \notation{unify} operation are invoked.
313 all bindings are undone again, and no waking occurs.
317 and variance relationship, as performed by the built-ins
319 \bipref{instance/2}{../bips/kernel/termcomp/instance-2.html} and
325 and its arguments are similar to the ones of the
328 The handler is invoked with one or both of \about{TermL} and \about{TermR} being
330 and compute their instance relationship with respect to the extension
338 Even though one of \about{TermL} and \about{TermR} is guaranteed to be
372 suspension lists and ending with \about{Tail}.
394 to retrieve information about the lower and upper bound of a numeric
404 The handler should bind \about{Lwb} and \about{Upb} to numbers
406 and upper bound of the variable, respectively.
415 to distribute information about the lower and upper bound of a numeric
425 \about{Lwb} and \about{Upb} are the numbers that were passed to
427 and the handler is expected to update its
467 and its use is not recommended, because it is less efficient
468 than the \notation{unify} handler and because its semantics is somewhat
485 goals in this attribute and \about{GoalCont} is the
526 \footnote{The attribute \notation{suspend} is always present and defined
544 \section{Built-Ins and Attributed Variables}
680 and access variable attributes and their arguments.
682 and positions of their arguments.
688 says that the structure name is \notation{suspend} and that