Searched refs:Options (Results 1 - 25 of 137) sorted by relevance

123456

/seL4-l4v-master/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_atp27 my %Options;
28 getopts("hws:t:c:q:",\%Options);
33 print("Options:\n");
43 if (exists($Options{'h'})) {
48 if (exists($Options{'w'})) {
54 if (exists($Options{'x'})) {
60 if (exists($Options{'s'})) {
61 $System = $Options{'s'};
69 if (exists($Options{'t'})) {
70 $URLParameters{"TimeLimit___$System"} = $Options{'
[all...]
/seL4-l4v-master/l4v/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_atp27 my %Options;
28 getopts("hws:t:c:q:",\%Options);
33 print("Options:\n");
43 if (exists($Options{'h'})) {
48 if (exists($Options{'w'})) {
54 if (exists($Options{'x'})) {
60 if (exists($Options{'s'})) {
61 $System = $Options{'s'};
69 if (exists($Options{'t'})) {
70 $URLParameters{"TimeLimit___$System"} = $Options{'
[all...]
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dxz.scala17 type Options = LZMA2Options
19 def options(preset: Int = 3): Options =
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dxz.scala17 type Options = LZMA2Options
19 def options(preset: Int = 3): Options =
/seL4-l4v-master/isabelle/src/Pure/System/
H A Doptions.scala10 object Options
14 val empty: Options = new Options()
43 (if (typ == Options.String) quote(x) else x) +
96 val option_entry: Parser[Options => Options] =
99 { case _ ~ a => (options: Options) => options.set_section(a) } |
103 (options: Options) => options.declare(a.isDefined, pos, b, c, d, e) }
106 val prefs_entry: Parser[Options => Options]
[all...]
H A Dnuma.scala42 def policy_options(options: Options, numa_node: Option[Int] = Some(0)): Options =
H A Disabelle_process.scala16 options: Options,
37 options: Options,
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Doptions.scala10 object Options
14 val empty: Options = new Options()
43 (if (typ == Options.String) quote(x) else x) +
96 val option_entry: Parser[Options => Options] =
99 { case _ ~ a => (options: Options) => options.set_section(a) } |
103 (options: Options) => options.declare(a.isDefined, pos, b, c, d, e) }
106 val prefs_entry: Parser[Options => Options]
[all...]
H A Dnuma.scala42 def policy_options(options: Options, numa_node: Option[Int] = Some(0)): Options =
/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dtranslate.cpp88 class Options { class
97 Options() : mode(TO_UNICODE) {} function in class:Options
99 ~Options() {
105 static int parse_args(int argc, char **argv, Options &options) {
123 options.mode = Options::TO_ASCII;
143 options.mode = Options::TO_UNICODE;
164 Options options;
171 case Options::TO_ASCII:
174 case Options::TO_UNICODE:
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Djedit_sessions.scala27 def session_options(options: Options): Options =
44 def sessions_structure(options: Options, dirs: List[Path] = session_dirs()): Sessions.Structure =
52 def logic_name(options: Options): String =
62 def logic_info(options: Options): Option[Sessions.Info] =
66 def logic_root(options: Options): Position.T =
120 def session_base_info(options: Options): Sessions.Base_Info =
129 options: Options, progress: Progress = No_Progress, no_build: Boolean = false): Int =
136 def session_start(options0: Options)
H A Djedit_options.scala4 Options for Isabelle/jEdit.
52 class JEdit_Options(init_options: Options) extends Options_Variable(init_options)
56 def make_color_component(opt: Options.Opt): Option_Component =
75 def make_component(opt: Options.Opt): Option_Component =
83 if (opt.typ == Options.Bool)
126 def mk_component(opt: Options.Opt): List[Option_Component] =
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_sessions.scala27 def session_options(options: Options): Options =
44 def sessions_structure(options: Options, dirs: List[Path] = session_dirs()): Sessions.Structure =
52 def logic_name(options: Options): String =
62 def logic_info(options: Options): Option[Sessions.Info] =
66 def logic_root(options: Options): Position.T =
120 def session_base_info(options: Options): Sessions.Base_Info =
129 options: Options, progress: Progress = No_Progress, no_build: Boolean = false): Int =
136 def session_start(options0: Options)
H A Djedit_options.scala4 Options for Isabelle/jEdit.
52 class JEdit_Options(init_options: Options) extends Options_Variable(init_options)
56 def make_color_component(opt: Options.Opt): Option_Component =
75 def make_component(opt: Options.Opt): Option_Component =
83 if (opt.typ == Options.Bool)
126 def mk_component(opt: Options.Opt): List[Option_Component] =
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Disabelle_devel.scala38 options: Options,
57 def build_log_database(options: Options, log_dirs: List[Path])
71 def build_status(options: Options)
H A Dci_profile.scala17 private def build(options: Options): (Build.Results, Time) =
62 private def with_documents(options: Options): Options =
94 with_documents(Options.init())
H A Dbuild_doc.scala18 options: Options,
77 var options = Options.init()
83 Options are:
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Disabelle_devel.scala38 options: Options,
57 def build_log_database(options: Options, log_dirs: List[Path])
71 def build_status(options: Options)
H A Dci_profile.scala17 private def build(options: Options): (Build.Results, Time) =
62 private def with_documents(options: Options): Options =
94 with_documents(Options.init())
/seL4-l4v-master/isabelle/src/Pure/Thy/
H A Dfile_format.scala41 def prover_options(options: Options): Options =
49 def prover_options(options: Options): Options = options
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/
H A Dfile_format.scala41 def prover_options(options: Options): Options =
49 def prover_options(options: Options): Options = options
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/
H A Dbuild_vscode.scala20 def build_grammar(options: Options, progress: Progress = No_Progress)
54 Options are:
68 val options = Options.init()
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/
H A Dbuild_vscode.scala20 def build_grammar(options: Options, progress: Progress = No_Progress)
54 Options are:
68 val options = Options.init()
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml109 open Useful Options;
139 options = specialOptions @ Options.basicOptions};
141 fun succeed () = Options.succeed programOptions;
142 fun fail mesg = Options.fail programOptions mesg;
143 fun usage mesg = Options.usage programOptions mesg;
146 Options.processOptions programOptions (CommandLine.arguments ());
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml109 open Useful Options;
139 options = specialOptions @ Options.basicOptions};
141 fun succeed () = Options.succeed programOptions;
142 fun fail mesg = Options.fail programOptions mesg;
143 fun usage mesg = Options.usage programOptions mesg;
146 Options.processOptions programOptions (CommandLine.arguments ());

Completed in 181 milliseconds

123456