/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | probe.pl | 44 Options - options structure 52 Options = options with [granularity:Gran,priority:Priority], 120 Options - options structure 134 Options=options with priority:Priority, 224 "Options" :"An options structure", 244 ?- Options = options{granularity:3,priority:5}, 254 "Options":"An options structure", 261 specified in the options is added to the smaller term to create a non-strict
|
H A D | ic_probing_for_scheduling.pl | 79 Finally it initialises some options. 87 UserOptions = options with [granularity:1,priority:5] 108 Options - an options structure: 110 (or for compatibility Options= options(G,P)) 129 create_options(options(G,P), options(G,P)) :- !. 130 create_options(List,options with [granularity:G,priority:P]) :- 137 ; write(error,'Error: unrecognised options: '), 163 Options = options with granularity:G, 457 The options offe [all...] |
H A D | probing_for_scheduling.pl | 78 Finally it initialises some options. 86 UserOptions = options with [granularity:1,priority:5] 107 Options - an options structure: 109 (or for compatibility Options= options(G,P)) 128 create_options(options(G,P), options(G,P)) :- !. 129 create_options(List,options with [granularity:G,priority:P]) :- 136 ; write(error,'Error: unrecognised options: '), 162 Options = options with granularity:G, 457 The options offe [all...] |
H A D | ic_make_overlap_bivs.pl | 56 Options= options with priority:Priority, 119 Options = options with priority:Priority, 171 Options = options with [granularity:Granularity, priority:Priority], 221 "Options":"An options structure"
|
H A D | make_overlap_bivs.pl | 56 Options= options with priority:Priority, 119 Options = options with priority:Priority, 171 Options = options with [granularity:Granularity, priority:Priority], 221 "Options":"An options structure"
|
/barrelfish-2018-10-04/usr/skb/programs/ |
H A D | db_partitions.pl | 8 %% Two options:
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | lex.c | 163 NEWLINE_IN_QUOTES|NO_BLANKS, /* options */ 439 if (sd->options & DOUBLED_QUOTE_IS_QUOTE) 450 if ((ctype != AQ) && !(sd->options & ISO_RESTRICTIONS)) 510 if (sd->options & ISO_ESCAPES) goto _return_ill_quoted_; 514 if (sd->options & ISO_ESCAPES) goto _return_ill_quoted_; 518 if (sd->options & ISO_ESCAPES) goto _return_ill_quoted_; 522 if (sd->options & ISO_ESCAPES) goto _return_ill_quoted_; 556 if (sd->options & ISO_ESCAPES) 594 if (cc != ' ' && (sd->options & ISO_ESCAPES)) 601 if (!(sd->options [all...] |
H A D | operator.c | 400 if (ModuleSyntax(vm.did)->options & ISO_RESTRICTIONS) 492 if (prop_type != PREFIX_PROP && ModuleSyntax(module)->options & ISO_RESTRICTIONS) 626 (iassoc > FXX && (ModuleSyntax(v_mod.did)->options & ISO_RESTRICTIONS)))
|
/barrelfish-2018-10-04/tools/harness/machines/ |
H A D | msrc.py | 22 def __init__(self, options): 23 super(MSRCMachine, self).__init__(options)
|
H A D | uw.py | 28 def __init__(self, options): 29 super(UWMachine, self).__init__(options)
|
/barrelfish-2018-10-04/tools/harness/tests/ |
H A D | devif_test.py | 38 def __init__(self, options): 39 super(DevifTests, self).__init__(options)
|
/barrelfish-2018-10-04/lib/pcre/ |
H A D | pcre_get.c | 286 if ((re->options & PCRE_DUPNAMES) == 0 && (re->flags & PCRE_JCHANGED) == 0) 290 if ((re->options & PCRE_DUPNAMES) == 0 && (re->flags & PCRE_JCHANGED) == 0) 294 if ((re->options & PCRE_DUPNAMES) == 0 && (re->flags & PCRE_JCHANGED) == 0)
|
H A D | pcre_fullinfo.c | 106 *((unsigned long int *)where) = re->options & PUBLIC_COMPILE_OPTIONS;
|
H A D | pcre_exec.c | 526 BOOL minimize, possessive; /* Quantifier options */ 6335 options option bits 6348 PCRE_SPTR subject, int length, int start_offset, int options, int *offsets, 6353 PCRE_SPTR16 subject, int length, int start_offset, int options, int *offsets, 6358 PCRE_SPTR32 subject, int length, int start_offset, int options, int *offsets, 6410 if ((options & ~PUBLIC_EXEC_OPTIONS) != 0) return PCRE_ERROR_BADOPTION; 6433 utf = md->utf = (re->options & PCRE_UTF8) != 0; 6434 md->partial = ((options & PCRE_PARTIAL_HARD) != 0)? 2 : 6435 ((options & PCRE_PARTIAL_SOFT) != 0)? 1 : 0; 6441 if (utf && (options 6347 pcre_exec(const pcre *argument_re, const pcre_extra *extra_data, PCRE_SPTR subject, int length, int start_offset, int options, int *offsets, int offsetcount) argument [all...] |
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ssl/ |
H A D | s3_both.c | 634 * with a given context. (The options affecting buffer size are 642 * connections with many different settings for these options, and you need to 643 * use the SSL_MOD_RELEASE_BUFFERS feature, you have a few options: 721 if (s->options & SSL_OP_MICROSOFT_BIG_SSLV3_BUFFER) 727 if (!(s->options & SSL_OP_NO_COMPRESSION)) 764 if (!(s->options & SSL_OP_NO_COMPRESSION)) 767 if (!(s->options & SSL_OP_DONT_INSERT_EMPTY_FRAGMENTS))
|
H A D | s3_srvr.c | 274 !(s->options & SSL_OP_ALLOW_UNSAFE_LEGACY_RENEGOTIATION)) 382 if ((s->options & SSL_OP_EPHEMERAL_RSA) 870 if ((s->new_session && (s->options & SSL_OP_NO_SESSION_RESUMPTION_ON_RENEGOTIATION))) 992 if (j == 0 && (s->options & SSL_OP_NETSCAPE_REUSE_CIPHER_CHANGE_BUG) && (sk_SSL_CIPHER_num(ciphers) == 1)) 1112 * options, we will now look for them. We have i-1 compression 1122 if (s->options & SSL_OP_NO_COMPRESSION) 1159 else if (!(s->options & SSL_OP_NO_COMPRESSION) && s->ctx->comp_methods) 1234 if (s->options & SSL_OP_NETSCAPE_DEMO_CIPHER_CHANGE_BUG) 1313 /* now in theory we have 3 options to sending back the 1508 (s->options [all...] |
H A D | s2_clnt.c | 403 if (!(s->options & 480 if (s->options & SSL_OP_CIPHER_SERVER_PREFERENCE) 697 if (s->options & SSL_OP_PKCS1_CHECK_1) d[1]++; 698 if (s->options & SSL_OP_PKCS1_CHECK_2) 1008 if (!(s->options & SSL_OP_MICROSOFT_SESS_ID_BUG))
|
/barrelfish-2018-10-04/include/lwip/lwip/ |
H A D | dhcp.h | 38 /** incoming msg options */ 40 /** ingoing msg options length */ 45 u16_t options_out_len; /* outgoing msg options length */ 105 /** set this to be sufficient for your options in outgoing DHCP msgs */ 108 PACK_STRUCT_FIELD(u8_t options[DHCP_OPTIONS_LEN]); 197 /** BootP options */ 209 /** DHCP options */ 212 #define DHCP_OPTION_OVERLOAD 52 /* RFC2132 9.3, use file and/or sname field for options */ 231 /** possible combinations of overloading the file and sname fields with options */
|
/barrelfish-2018-10-04/include/lwip2/netif/ppp/ |
H A D | mppe.h | 166 void mppe_init(ppp_pcb *pcb, ppp_mppe_state *state, u8_t options);
|
/barrelfish-2018-10-04/tools/ |
H A D | run-pdflatex.sh | 13 # controlled by command-line options, making it considerably easier to 27 Usage: $0 <options>
|
/barrelfish-2018-10-04/include/ |
H A D | resolv.h | 145 * XXX: If `sun' is defined, `options' and `pfcode' are 151 u_int options; /*%< option flags - see below. */ member in struct:__res_state 153 u_long options; /*%< option flags - see below. */ member in struct:__res_state 219 /* res_findzonecut2() options */ 225 * Resolver options (keep these in synch with res_debug.c, please)
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/demos/engines/rsaref/ |
H A D | build.com | 96 $ link /shareable=librsaref.exe sys$input: /options
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/ |
H A D | clients.tex | 223 The options menu contains controls for \viewer{}-wide properties. 252 options are disabled because {\eclipse} has control and the update 258 \caption{The options menu, common to all viewers.} 289 have the ability to zoom in and out. All the options are self 292 options operate on the whole \viewer{} and not just the selected 496 It is also possible to use one of the automatic layout options 497 available from the \textbf{Graph} menu. These options make use of the 506 The Gantt chart viewer has many of the same options as the Network 508 provides access to options that control how transparent the individual 542 \caption{The print options dialo [all...] |
/barrelfish-2018-10-04/lib/libc/net/ |
H A D | getaddrinfo.c | 1751 res_options = statp->options & (RES_RECURSE | RES_DEFNAMES | 2336 if ((res->options & RES_INIT) == 0 && res_ninit(res) == -1) { 2738 if (res->options & RES_DEBUG) 2745 (res->options & (RES_USE_EDNS0|RES_USE_DNSSEC)) != 0U) 2749 if (res->options & RES_DEBUG) 2762 if ((res->options & (RES_USE_EDNS0|RES_USE_DNSSEC)) 2766 if (res->options & RES_DEBUG) 2772 if (res->options & RES_DEBUG) 2783 if (res->options & RES_DEBUG) 2889 if ((!dots && (res->options [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | io.tex | 107 A number of other syntax options are configurable as well, e.g.\ 175 It supports various options, essentially corresponding to the options 194 re-created when the corresponding syntax options are set, and
|