/seL4-l4v-master/isabelle/src/HOL/Tools/ATP/scripts/ |
H A D | remote_atp | 27 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 D | remote_atp | 27 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 D | xz.scala | 17 type Options = LZMA2Options 19 def options(preset: Int = 3): Options =
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | xz.scala | 17 type Options = LZMA2Options 19 def options(preset: Int = 3): Options =
|
/seL4-l4v-master/isabelle/src/Pure/System/ |
H A D | options.scala | 10 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 D | numa.scala | 42 def policy_options(options: Options, numa_node: Option[Int] = Some(0)): Options =
|
H A D | isabelle_process.scala | 16 options: Options, 37 options: Options,
|
/seL4-l4v-master/l4v/isabelle/src/Pure/System/ |
H A D | options.scala | 10 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 D | numa.scala | 42 def policy_options(options: Options, numa_node: Option[Int] = Some(0)): Options =
|
/seL4-l4v-master/l4v/misc/filemerge/faster/ |
H A D | translate.cpp | 88 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 D | jedit_sessions.scala | 27 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 D | jedit_options.scala | 4 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 D | jedit_sessions.scala | 27 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 D | jedit_options.scala | 4 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 D | isabelle_devel.scala | 38 options: Options, 57 def build_log_database(options: Options, log_dirs: List[Path]) 71 def build_status(options: Options)
|
H A D | ci_profile.scala | 17 private def build(options: Options): (Build.Results, Time) = 62 private def with_documents(options: Options): Options = 94 with_documents(Options.init())
|
H A D | build_doc.scala | 18 options: Options, 77 var options = Options.init() 83 Options are:
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | isabelle_devel.scala | 38 options: Options, 57 def build_log_database(options: Options, log_dirs: List[Path]) 71 def build_status(options: Options)
|
H A D | ci_profile.scala | 17 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 D | file_format.scala | 41 def prover_options(options: Options): Options = 49 def prover_options(options: Options): Options = options
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/ |
H A D | file_format.scala | 41 def prover_options(options: Options): Options = 49 def prover_options(options: Options): Options = options
|
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/ |
H A D | build_vscode.scala | 20 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 D | build_vscode.scala | 20 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 D | problems2tptp.sml | 109 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 D | problems2tptp.sml | 109 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 ());
|