/barrelfish-2018-10-04/lib/libc/posix1e/ |
H A D | acl_to_text_nfs4.c | 47 format_who(char *str, size_t size, const acl_entry_t entry, int numeric) argument 69 if (!numeric) 88 if (!numeric)
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | bip_arith.c | 49 * Other table functions that must be implemented for each numeric type are 1453 if (tag_desc[TagType(t1)].numeric < tag_desc[top].numeric) 1488 if (tag_desc[TagType(t1)].numeric > tag_desc[TagType(t2)].numeric) 1541 if (tag_desc[TagType(t1)].numeric > tag_desc[TagType(t2)].numeric) 2083 tag_desc[i].numeric = 0; 2085 tag_desc[TINT].numeric = 1; /* mark and order the numeric type [all...] |
H A D | types.h | 560 int numeric; /* numeric type and order */ member in struct:tag_descriptor
|
H A D | bip_tconv.c | 917 tag_desc[TagType(car->tag)].numeric ? TYPE_ERROR :
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | introduction.tex | 66 ordered non-numeric values, for example ${red, green, blue}$. 111 form of numeric intervals. 126 for solving problems involving continuous numeric variables. 199 %A simple way to achieve maximum propagation is to send all numeric
|
H A D | icsymbolic.tex | 180 symbolic variables can be implemented simply by placing numeric (IC)
|
H A D | solverinter.tex | 47 \item the numeric type constraints reals/1 and integers/1.
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | xml_generation.pl | 197 * decimal numeric character entity e.g. code 160 (non-breaking space) is
215 * which are common to both XML and HTML. The numeric entity ' is used in
|
H A D | tidy.pl | 65 numeric fragments are combined where possible, and sums
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probe.pl | 42 ConsList - a list of numeric equations or inequations: X=:=Y, X>=Y, X>Y, X=<Y, X<Y 119 Constraints - A list of numeric equations and inequations, as above
|
H A D | probe.pl | 42 ConsList - a list of numeric equations or inequations: X=:=Y, X>=Y, X>Y, X=<Y, X<Y 118 Constraints - A list of numeric equations and inequations, as above
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/util/ |
H A D | mkerr.pl | 77 -reindex Discard the numeric values previously assigned to the error
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | extmeta.tex | 394 to retrieve information about the lower and upper bound of a numeric 405 (any numeric type) reflecting the attribute's information about lower 415 to distribute information about the lower and upper bound of a numeric
|
H A D | umsarith.tex | 57 The system evaluates \about{Expression} which yields a numeric result. 223 compare numeric values. 374 \about{n} arguments and returns a numeric result as its last argument.
|
H A D | umssyntax.tex | 217 \subsubsection{Lists of numeric character codes} 221 Text enclosed in LQ (list_quote) characters is parsed as a list of numeric
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | prolog.tex | 60 {\eclipse} provides two additional numeric types, rationals and 61 bounded reals. {\eclipse} can do arithmetic with all these numeric 84 \See{For more details on numeric types and arithmetic in general see the 87 \See{For more information on the bounded real numeric type, see 100 %{\eclipse} can do arithmetic with all these numeric types.
|
H A D | solversintro.tex | 66 (in the form of numeric intervals), and constraints
|
H A D | real.tex | 68 \item Other numeric types can be converted to bounded reals by giving them
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 900 numeric constraints. 918 These constraints can also be used when the domains are numeric. 923 A linear numeric expression is one that can be written in the form 947 domains as well as numeric ones. However when developing \ECL 1077 For numeric finite domains the {\em fd} library admits equations, 1078 inequalities and disequalities over numeric expressions. 1131 Query 2 illustrates how a numeric finite domain can be initialised 1138 variable's numeric finite domain. 1265 The {\em ria} library supports numeric constraints which may involve 1456 Equations and inequalities between linear numeric expression [all...] |
/barrelfish-2018-10-04/lib/libc/net/ |
H A D | getaddrinfo.c | 46 * (1) what should we do against numeric hostname (2) what should we do 404 int numeric = 0; local 492 * check for special cases. (1) numeric servname is disallowed if 520 * NULL hostname, or numeric hostname. 521 * If numeric representation of AF1 can be interpreted as FQDN 559 numeric = 1; 631 * and the given name is not numeric, reorder the 641 if (!numeric) { 1241 * numeric hostname 1307 * Set the numeric addres [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | tracer_tty.pl | 212 % Count is the numeric argument given to the command (default 0) 637 % read a number and the next non-numeric character
|
H A D | meta.pl | 810 %%%% retrieve current numeric range %%%%
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | dbi.tex | 214 non-numeric data. Restrictions may apply depending on the SQL datatype -- 219 then converted to the specified SQL numeric types. The numbers are passed
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/ |
H A D | clients.tex | 165 grid of rectangles representing the size of the numeric domains. 518 Above the gantt chart is a numeric scale indicating time. By clicking
|
H A D | annotate.tex | 440 \item[types] elements of a \viewable{} may be defined as being numeric values or may be any \eclipse term. The type of a \viewable{} will determine how it can be visualised.
|