Searched refs:eval (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/lib/libc/gen/
H A Derr.c73 _err(int eval, const char *fmt, ...) argument
77 verrc(eval, errno, fmt, ap);
82 verr(int eval, const char *fmt, va_list ap) argument
84 verrc(eval, errno, fmt, ap);
88 errc(int eval, int code, const char *fmt, ...) argument
92 verrc(eval, code, fmt, ap);
97 verrc(int eval, int code, const char *fmt, va_list ap) argument
108 err_exit(eval);
109 exit(eval);
113 errx(int eval, cons argument
122 verrx(int eval, const char *fmt, va_list ap) argument
[all...]
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Derror.c589 p_errno_id(value eval, type etag, value sval, type stag) argument
597 Make_String(&pw, ec_os_err_string(eval.nint, ec_os_errgrp_, buf, 1024));
H A Dtypes.h132 unsigned eval:1; /* unused */ member in struct:dict_item
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsarith.tex308 eval(E) & evaluate runtime expression & term & number \\
436 \bipref{is/2}{../bips/kernel/arithmetic/is-2.html} or use \predspec{eval/1}.
451 at runtime, use \predspec{eval/1} as in the following example:
454 p(Expr) :- Res is 1 + eval(Expr), ...
457 If the expression is the only argument of \predspec{is/2}, the \predspec{eval/1}
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex93 wrapped in {\bf eval/1} when they appear in constraints; otherwise
95 variable, resulting in a type error. See section~\ref{sec:eval} for
295 assumed to be IC variables unless they are wrapped in an {\bf eval/1}
296 term. See section~\ref{sec:eval} for an more detailed explanation of
440 \item[\texttt{eval(Expr)}]
441 See section~\ref{sec:eval} for an explanation of {\bf eval/1} usage.
444 \subsubsection{{\bf eval}}
445 \label{sec:eval}
446 The {\bf eval/
[all...]
H A Dgfd.tex471 \item[\texttt{eval(Expr)}]
537 \item[\texttt{eval(Expr)}]
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dbuiltins.tex53 flattened by the compiler are interpreted by the predicate eval/2.
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dicintro.tex389 run time, then one must wrap it in \texttt{eval/1}:}
396 ?- [X, Y] :: 0..10, Expr = X + Y, Sum #= eval(Expr).

Completed in 61 milliseconds