/barrelfish-master/lib/libc/locale/ |
H A D | rune.c | 68 void *variable; local 103 variable = frl + 1; 109 runetype_ext_ranges = (_FileRuneEntry *)variable; 110 variable = runetype_ext_ranges + frl->runetype_ext_nranges; 111 if (variable > lastp) { 115 maplower_ext_ranges = (_FileRuneEntry *)variable; 116 variable = maplower_ext_ranges + frl->maplower_ext_nranges; 117 if (variable > lastp) { 121 mapupper_ext_ranges = (_FileRuneEntry *)variable; 122 variable [all...] |
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | extmeta.tex | 30 \index{attributed variables|(}\index{variable!attributed} 33 The \defnotion{attributed variable} is a special \eclipse data type which 34 represents a variable together with attached attributes. 36 ``metaterms''.\index{metaterm|see{attributed variable}} 38 for an object-level program, a metaterm looks like a variable, but for 39 a meta-program the same variable is just a piece of data which, possibly 42 The attributed variable is a powerful means to implement various extensions of 47 In most situations an attributed variable behaves like a normal 48 variable, e.g., 51 The differences in comparison to a plain variable ar [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | embed.c | 171 ec_panic("Aborting: Can't find boot file! Please check either\na) your program's setting for eclipsedir in ec_set_option(), or\nb) your setting for ECLIPSEDIR environment variable.\n","ec_init()"); 552 ec_refs_destroy(ec_refs variable) argument 554 if (!(variable->refstate & EC_REF_C)) 556 if (variable->refstate & EC_REF_P) 559 variable->next->prev = variable->prev; 560 variable->prev->next = variable->next; 562 variable->refstate = EC_REF_FREE; 563 hp_free_size((generic_ptr)variable, sizeo 570 ec_refs variable = g_emu_.allrefs.next; local 590 ec_refs_size(const ec_refs variable) argument 624 _ec_ref_init(ec_refs variable) argument 663 ec_refs_set(ec_refs variable, int i, const pword w) argument 674 ec_refs_get(const ec_refs variable, int i) argument 698 ec_ref_set(ec_ref variable, const pword w) argument 704 ec_ref_get(const ec_ref variable) argument 710 ec_ref_destroy(ec_ref variable) argument [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | INSTALL | 24 echo Please set environment variable ECLIPSEARCH and try again
|
/barrelfish-master/lib/libc/iconv/ |
H A D | citrus_mapper.c | 128 size_t linebufsize, const char **module, const char **variable) 166 /* get variable */ 167 *variable = p; 205 const char * __restrict variable) 260 (const void *)variable, strlen(variable) + 1, 281 const char * __restrict module, const char * __restrict variable) 284 return (mapper_open(ma, rcm, module, variable)); 318 const char *module, *variable; local 321 variable 127 lookup_mapper_entry(const char *dir, const char *mapname, void *linebuf, size_t linebufsize, const char **module, const char **variable) argument 202 mapper_open(struct _citrus_mapper_area *__restrict ma, struct _citrus_mapper * __restrict * __restrict rcm, const char * __restrict module, const char * __restrict variable) argument 279 _citrus_mapper_open_direct(struct _citrus_mapper_area *__restrict ma, struct _citrus_mapper * __restrict * __restrict rcm, const char * __restrict module, const char * __restrict variable) argument [all...] |
H A D | citrus_stdenc.c | 52 char const * __restrict encname, const void * __restrict variable, 117 ret = (*ce->ce_ops->eo_init)(ce, variable, lenvar, ce->ce_traits); 51 _citrus_stdenc_open(struct _citrus_stdenc * __restrict * __restrict rce, char const * __restrict encname, const void * __restrict variable, size_t lenvar) argument
|
/barrelfish-master/usr/eclipseclp/VBinterface/ |
H A D | INSTALL | 25 echo Please set environment variable ECLIPSEARCH and try again
|
/barrelfish-master/usr/eclipseclp/documents/ |
H A D | INSTALL | 26 echo Please set environment variable ECLIPSEARCH and try again
|
/barrelfish-master/usr/eclipseclp/Usc/ |
H A D | INSTALL | 11 echo Please set environment variable ECLIPSEARCH and try again
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | conjunto.pl | 72 is a free variable, it becomes a set variable and its attached domain is 77 args:["?Lsets" : "A list of set domain variables.", "?Svar" : "A free variable or a set variable."], 105 Sterm. If Sterm is a set variable and Var is free, Var becomes a domain 106 variable representing the set term cardinality. The predicate is 108 modified. If Sterm is a set variable and and Var is a domain variable 114 args:["?Sterm" : "A set term or a ground set.", "?Var" : "A free variable, a domain variable o [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic_make_overlap_bivs.pl | 36 In principle a bivalued variable is set up between each pair of tasks. 37 This variable will be set to the amount of resource used by the second 39 If not, the variable will be set to zero. The sum of these variables 96 If created, the variable is added to the appropriate list. 97 If the tasks do not overlap, then no bivalued variable 99 overlap, the bivalued variable is set to the amount of resource needed by the 117 % If R2 is a variable, then Biv isn't really bivalued! 147 This sets the bivalued variable as soon as the bounds on the task start times 229 variable resource requirement, this is reduced to its minimum 231 'overlap' variable a [all...] |
H A D | make_overlap_bivs.pl | 36 In principle a bivalued variable is set up between each pair of tasks. 37 This variable will be set to the amount of resource used by the second 39 If not, the variable will be set to zero. The sum of these variables 96 If created, the variable is added to the appropriate list. 97 If the tasks do not overlap, then no bivalued variable 99 overlap, the bivalued variable is set to the amount of resource needed by the 117 % If R2 is a variable, then Biv isn't really bivalued! 147 This sets the bivalued variable as soon as the bounds on the task start times 229 variable resource requirement, this is reduced to its minimum 231 'overlap' variable a [all...] |
H A D | shadow_cons.pl | 43 summary:"Finds the shadow variable associated with the input 44 variable in the specified shadow constraint store. If none 48 The shadow variable 'represents' the original variable in the 50 constrained than the original variable. When the original 51 variable becomes instantiated, or has its domain/range narrowed, 52 this change is propagated to the shadow variable."), 54 args:["Var" : "A variable to be shadowed", 56 "ShadowVar":"The associated shadow variable"], 58 % fail_if:"The original variable alread [all...] |
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extconjunto.tex | 64 the Herbrand Universe or its powerset but without any variable. 70 variable {\em S}. {\em D} is defined by 76 {\bf set domain variable}. 81 a set variable {\em S} where each element of {\em WD} is of the 83 set variable and {\em w} is the weight or cost associated to this 105 set domain variable or (3) a set expression. All set built-in 115 \item A domain D attached to a set variable is specified by two ground 148 \index{set variable} 152 attaches a domain to the set variable or to a list of set variables 157 variable it [all...] |
H A D | eplexdiff.tex | 80 variable. Also, if the variable(s) do not already occur in the eplex 86 will lead to failure, i.e.\ if the upper bound of a variable becomes 94 and affect the bounds of the variable for {\it all instances}, 100 A variable never becomes ground as a result of an eplex instance bound 103 Posting eplex arithmetic constraints involving one variable is the 105 variable will be added to the eplex instance even if it does not occur in 121 variable should be treated as an integer by the external solver in the 122 eplex instance, but does not impose the integer type on the variable. 123 In addition, the type of the solution returned for a variable i [all...] |
H A D | extfd.tex | 46 \item[domain variable] 47 \index{domain variable!definition} 48 A domain variable is a variable which can be instantiated only 51 The domain can be associated with the variable using the predicate 56 \item[integer domain variable] 57 \index{domain variable!integer} 58 An integer domain variable is a domain variable 62 Note that a non-integer domain variable ca [all...] |
H A D | repair.tex | 83 A problem variable may be associated with a tentative value. 85 previous assignments to this variable. 92 through later calls to the same predicate. Vars can be a variable, a 98 Query the variable's tentative values. 100 place of the variables. If a variable has no tentative value 101 a variable is returned in its place. 106 A problem variable is {\em tenable} when it does not have a 113 produces a tenable variable (note how the tentative value is printed 114 as the variable's repair-attribute), while on the other hand 119 produces an untenable variable [all...] |
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | 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 [all...] |
/barrelfish-master/lib/openssl-1.0.0d/crypto/threads/ |
H A D | netware.bat | 60 echo Environment variable MWCIncludes is not set - see install.nw 65 echo Environment variable PRELUDE is not set - see install.nw 70 echo Environment variable IMPORTS is not set - see install.nw
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_comments.pl | 54 by the domain of a set variable (for instance, the cardinality of a set may have 59 applied to set constraints by interval reasoning. A set domain variable S may be 63 The cardinality of a set S, given as a finite domain variable C (#S=C), is not a 109 form the domain of a set variable S, meaning that set S is one of those defined 117 Any set variable must then have a domain consisting of a set interval. In addition, 122 variable that can assume any set value from a collection of known sets, such as 125 for n possible arbitrary sets S1...Sn, the corresponding set variable X has an 134 Set variable bounds are represented by its glb and its lub\\glb, the set of 152 args: ["SetVariable": "A Set (variable or ground).", 153 "Cardinality": "An integer or an FD variable [all...] |
/barrelfish-master/usr/eclipseclp/Pds/ |
H A D | INSTALL | 32 echo Please set environment variable ECLIPSEARCH and try again
|
/barrelfish-master/usr/eclipseclp/Alog/ |
H A D | INSTALL | 11 echo Please set environment variable ECLIPSEARCH and try again
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | umscmacros.tex | 76 \item INSTANTIATION_FAULT --- unexpected variable. 84 used when the system variable {\tt errno} contains the error code 93 A variable should be dereferenced before being used. The following 108 If {\tt ref} or the end of the reference chain is a free variable, 109 {\tt ref} will point to the variable itself. The arguments of 138 {\tt IsRef(tag)} & a variable: it may be bound or unbound. \\ 184 return with an instantiation fault if argument is a variable. \\ 188 & \ \ variable. \\ 191 return with an instantiation fault if argument is a variable, \\ 195 return with an instantiation fault if argument is a variable, \\ [all...] |
/barrelfish-master/usr/eclipseclp/documents/search/ |
H A D | search.tex | 72 Every variable has a {\em domain} of values that it can take 82 \item If a variable is given a value (from its domain, of course), 83 we call this an {\em assignment}. If every problem variable is given 269 by variable and value selection strategies. 284 is to choose a particular value for a problem variable 288 For a boolean variable, this means setting the variable to 0 in one 295 Other forms of choices are possible. If X2 is a variable that can take 306 for a variable. It is also possible to make disjoint choices by 317 which means that the search tree nodes correspond to a variable [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | suspend.pl | 74 user-defined data-driven computations that react to variable instantiation, 75 variable binding, or general variable-constraining events. The suspend- 77 conditions) for a variable: 80 woken when variable is instantiated. 82 woken when variable is bound, even to an other variable. 84 woken when variable is (further) constrained. This is 128 % We wake every time a variable is touched. 871 reflected in the value of the 0/1 variable Boo [all...] |