| /barrelfish-master/lib/pcre/ |
| H A D | pcre_xclass.c | 135 const ucd_record *prop = GET_UCD(c); local
145 if ((prop->chartype == ucp_Lu || prop->chartype == ucp_Ll ||
146 prop->chartype == ucp_Lt) == isprop) return !negated;
150 if ((data[1] == PRIV(ucp_gentype)[prop->chartype]) == isprop)
155 if ((data[1] == prop->chartype) == isprop) return !negated;
159 if ((data[1] == prop->script) == isprop) return !negated;
163 if ((PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
164 PRIV(ucp_gentype)[prop->chartype] == ucp_N) == isprop)
182 if ((PRIV(ucp_gentype)[prop
[all...] |
| H A D | pcre_dfa_exec.c | 1072 const ucd_record * prop = GET_UCD(c); local
1080 OK = prop->chartype == ucp_Lu || prop->chartype == ucp_Ll ||
1081 prop->chartype == ucp_Lt;
1085 OK = PRIV(ucp_gentype)[prop->chartype] == code[2];
1089 OK = prop->chartype == code[2];
1093 OK = prop->script == code[2];
1099 OK = PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
1100 PRIV(ucp_gentype)[prop->chartype] == ucp_N;
1117 OK = PRIV(ucp_gentype)[prop
1330 const ucd_record * prop = GET_UCD(c); local
1582 const ucd_record * prop = GET_UCD(c); local
1859 const ucd_record * prop = GET_UCD(c); local
[all...] |
| H A D | pcre_compile.c | 2834 const ucd_record *prop = GET_UCD(c); local
2839 return (prop->chartype == ucp_Lu ||
2840 prop->chartype == ucp_Ll ||
2841 prop->chartype == ucp_Lt) == negated;
2844 return (pdata == PRIV(ucp_gentype)[prop->chartype]) == negated;
2847 return (pdata == prop->chartype) == negated;
2850 return (pdata == prop->script) == negated;
2855 return (PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
2856 PRIV(ucp_gentype)[prop->chartype] == ucp_N) == negated;
2871 return (PRIV(ucp_gentype)[prop
[all...] |
| H A D | pcre_exec.c | 2558 const ucd_record *prop = GET_UCD(c); local
2567 if ((prop->chartype == ucp_Lu ||
2568 prop->chartype == ucp_Ll ||
2569 prop->chartype == ucp_Lt) == (op == OP_NOTPROP))
2574 if ((ecode[2] != PRIV(ucp_gentype)[prop->chartype]) == (op == OP_PROP))
2579 if ((ecode[2] != prop->chartype) == (op == OP_PROP))
2584 if ((ecode[2] != prop->script) == (op == OP_PROP))
2591 if ((PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
2592 PRIV(ucp_gentype)[prop->chartype] == ucp_N) == (op == OP_NOTPROP))
2610 if ((PRIV(ucp_gentype)[prop
[all...] |
| H A D | pcre_internal.h | 2150 "notprop", "prop", "\\R", "\\H", "\\h", "\\V", "\\v", \
|
| /barrelfish-master/usr/eclipseclp/icparc_solvers/ |
| H A D | ic.c | 381 #define Init_Prop_Info(prop) \
382 (prop)->sum.l = NEG_ZERO; \
383 (prop)->sum.u = 0.0; \
384 (prop)->inf_f_idx = -1; \
385 (prop)->inf_e_idx = -1; \
386 (prop)->num_non_int_vars = 0; \
387 (prop)->no_prop = 0;
2093 update_ef(prop_info *prop, con_info *con, bounds *a, bounds *x, int idx) argument
2111 if (OpIsGreater(con->op) || prop->inf_f_idx >= 0) {
2114 if (prop
2206 evaluate_reified(con_info *con, prop_info *prop, int *solved) argument
2305 prop_ic_1v_con(con_info *con, prop_info *prop) argument
2413 prop_pass_1(con_info *con, prop_info *prop) argument
2559 prop_pass_2(con_info *con, prop_info *prop) argument
3053 set_vars_to_lwb_list(pword *plin, con_info *con, prop_info *prop) argument
3117 short_cuts(con_info *con, prop_info *prop, int *short_cut) argument
3452 prop_info prop; local
3588 setup_pass_1(pword *plin, con_info *con, prop_info *prop) argument
3736 process_lin_terms_to_vectors_and_prop(pword *plin, con_info *con, prop_info *prop) argument
4182 setup_1v_con(pword *plin, con_info *con, prop_info *prop, int *solved) argument
4293 prop_info prop; local
[all...] |
| H A D | cumulative_examples.pl | 327 setval(prop,false),
332 (D1max < D2min -> R1 #> R2, setval(prop,true) ; true),
333 (R1max < R2min -> D1 #> D2, setval(prop,true) ; true),
334 (D2max < D1min -> R2 #> R1, setval(prop,true) ; true),
335 (R2max < R1min -> D2 #> D1, setval(prop,true) ; true),
336 (getval(prop,true) ->
|
| H A D | repair.pl | 115 :- local struct(monitor_conflict(constraint,annotation,conflict,prop,module)).
620 prop:PropFlag, label
648 conflict:ConfElem,prop:PropFlag,module:Module} :-
680 setarg(prop of monitor_conflict,Rep,1).
1307 G = monitor_conflict{constraint:Constraint,prop:0,module:Module} ->
1309 setarg(prop of monitor_conflict,G,1) % set flag to say goal called
1322 G = monitor_conflict{constraint:Constraint,prop:PropFlag,module:Module} ->
|
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | bip_shelf.c | 144 pword *prop; \
146 prop = get_modular_property(name_did, SHELF_PROP, vmod.did, tmod, LOCAL_PROP, &err); \
147 if (!prop) { \
150 obj = (t_heap_array *) prop->val.wptr; \
219 pword *prop; local
224 prop = set_modular_property(name_did, SHELF_PROP, vmod.did, tmod,
226 if (prop)
230 prop->tag.kernel = TPTR;
231 prop->val.wptr = (uword *) heap_array_tid.copy(obj);
|
| H A D | bip_record.c | 261 pword *prop; local
264 prop = get_modular_property(key_did, IDB_PROP, vmod.did, tmod, VISIBLE_PROP, &err);
265 if (!prop)
267 *pheader = (t_heap_rec *) prop->val.ptr;
268 if (!IsTag(prop->tag.kernel,TPTR) || !IsTag((*pheader)->term.tag.kernel,TEND))
312 pword *prop, *p; local
320 prop = set_modular_property(key_did, IDB_PROP, vmod.did, tmod,
322 if (!prop)
330 prop->val.wptr = (uword *) _rec_create();
331 prop
340 pword *prop, *p; local
[all...] |
| H A D | bip_store.c | 151 pword *prop; \
153 prop = get_modular_property(name_did, HTABLE_PROP, vmod.did, tmod, LOCAL_PROP, &err); \
154 if (!prop) { \
157 obj = (t_heap_htable *) prop->val.wptr; \
196 pword *prop; local
200 prop = get_modular_property(name_did, HTABLE_PROP, vmod.did, tmod, LOCAL_PROP, &err);
201 Succeed_If(prop);
219 pword *prop; local
224 prop = set_modular_property(name_did, HTABLE_PROP, vmod.did, tmod,
226 if (prop)
[all...] |
| H A D | bip_array.c | 93 #define VisibleAV(did, prop, mod, mod_tag, perr)\
94 get_modular_property(did, prop, mod, mod_tag, VISIBLE_PROP, perr)
96 #define EraseAV(did, prop, mod, mod_tag, vis)\
97 erase_modular_property(did, prop, mod, mod_tag, vis)
365 int prop; local
374 prop = ARRAY_PROP;
376 prop = GLOBVAR_PROP;
377 if ((err = EraseAV(adid, prop, vmod.did, tmod, scope))
778 pword *prop; local
810 prop
[all...] |
| H A D | operator.c | 65 #define PropToFix(prop) ((prop) == PREFIX_PROP ? IS_PREFIX_OP : (prop) == INFIX_PROP ? IS_INFIX_OP : IS_POSTFIX_OP)
67 /* 2 followings get or create a property prop (can be PREFIX_PROP or
69 #define OperatorItem(did, mod, mod_tag, vis, prop, perr) \
70 get_modular_property(did, prop, mod, mod_tag, vis, perr)
71 #define NewOperatorItem(did, mod, mod_tag, vis, prop, perr) \
72 set_modular_property(did, prop, mod, mod_tag, vis, perr)
|
| H A D | handlers.c | 917 pword *prop; local
931 prop = get_property(vn.did, EVENT_PROP);
932 if (!prop)
933 prop = set_property(vn.did, EVENT_PROP);
934 prop->tag.kernel = TPROC | (defers? EVENT_DEFERS: 0);
935 prop->val.ptr = (pword *) proc;
1203 pword *prop, *pw; local
1217 prop = get_property(vn.did, EVENT_PROP);
1219 if (!prop) Fail_;
1220 proc = (pri *) prop
[all...] |
| H A D | bip_module.c | 250 pword *prop; local
263 prop = (pword *) get_property(module_did, MODULE_PROP);
264 if (!prop)
266 prop = (pword *) set_property(module_did, MODULE_PROP);
267 /* the module did not exist before, no need to test prop */
269 prop->tag.kernel = TPTR;
270 prop->val.ptr = (pword *) m;
273 m = (module_item *) prop->val.ptr;
925 pword *prop; local
|
| H A D | io.c | 265 pword *prop; \
266 prop = get_property(sdid, STREAM_PROP); \
267 if (prop == (pword *) NULL) \
268 prop = set_property(sdid, STREAM_PROP); \
270 stream_tid.free((stream_id) prop->val.wptr); \
271 prop->tag.kernel = TPTR; \
272 prop->val.wptr = (uword *) stream_tid.copy(nst); \
|
| H A D | read.c | 1919 pword *prop; local
1939 prop = get_modular_property(tr_did, propid, mv, mt, VISIBLE_PROP, &err);
1940 if (!prop) {
1945 md = (macro_desc *) prop->val.ptr;
|
| H A D | bip_db.c | 1548 pword *prop; local
1599 prop = set_modular_property(dp, mtype,
1602 if (prop == (pword *) NULL)
1619 prop->tag.kernel = TPTR;
1620 prop->val.ptr = (pword *) md;
|
| /barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
| H A D | Makefile | 40 GRACE_CTRL = Options.txt Makefile prop.pl
|
| H A D | grace.pl | 189 %:- compile(prop).
|
| /barrelfish-master/lib/lua/src/ |
| H A D | lgc.c | 381 int prop = 0; /* true if table has entry "white-key -> white-value" */ local
399 prop = 1; /* must propagate again */
406 if (prop)
|
| /barrelfish-master/usr/eclipseclp/Kernel/lib/ |
| H A D | paddy.pl | 84 array_size(prop,N,byte),
454 make_static(temp_prop(S),prop(S)),
629 getval(prop(Ind),1),
632 setval(prop(Ind),0)
1123 (prop(G) ->
1129 ; getval(prop(Ind),1), nonground(G)).
1139 setval(prop(Ind),1)
1140 ; setval(prop(Ind),0).
|