internal/kernel/umscmacros.tex

88 \item INSTANTIATION_FAULT --- unexpected variable.
96 used when the system variable {\tt errno} contains the error code
105 A variable should be dereferenced before being used. The following
120 If {\tt ref} or the end of the reference chain is a free variable,
121 {\tt ref} will point to the variable itself. The arguments of
151 {\tt IsRef(tag)} &	a reference or variable (self reference). \\
152 {\tt IsVar(tag)} &	a simple variable. \\
153 {\tt IsName(tag)} &	a named variable. \\
154 {\tt IsMeta(tag)} &	a metaterm (attributed variable). \\
201 return with an instantiation fault if argument is a variable. \\
205 & \ \ variable. \\
208 return with an instantiation fault if argument is a variable, \\
212 return with an instantiation fault if argument is a variable, \\
216 return with an instantiation fault if argument is a variable, \\
220 return with an instantiation fault if argument is a variable, \\
224 return with an instantiation fault if argument is a variable, \\
228 return with an instantiation fault if argument is a variable, \\
232 return with an instantiation fault if argument is a variable, \\
236 return with an instantiation fault if argument is a variable, \\
241 & \ \ represented by the two arguments is a variable, \\
247 & \ \ variable. \\
251 & \ \ or a free variable. \\
255 & \ \ a free variable. \\
259 & \ \ free variable. \\
263 & \ \ free variable. \\
267 & \ \ a free variable. \\
271 & \ \ free variable. \\
275 & \ \ free variable. \\
385 {\tt Make_Var(pw)} & create free variable at address pw\\
494 %beginning of the array or global variable. If
568 %{\tt var} is a pointer to the variable which is responsible for delaying
569 %a call, it becomes its {\it suspending variable}.This macro is to be used
572 %The suspended goal will be woken as soon as the variable is instantiated.\\
575 %{\tt var} is a pointer to the variable which is responsible for delaying
576 %a call, it becomes its {\it suspending variable}.This macro is to be used
579 %The suspended goal will be woken as soon as the variable is instantiated
580 %or bound to another suspending variable.\\