options.pl -- (Command line) option handling for sCASP

author: - Joaquin Arias

scasp_version(-Version)

print the current version of s(CASP)

scasp_set_options(+Options) is det

scasp_set_options(+Options, -Unprocessed) is det

Set Prolog flags that control the solver from Options.

opt_process(+OptionsIn, -Options) is det[private]

Post processs the option list. This does a findall/3 on opt_rule/1 which may use opt/1 to access the option list being processed. The opt_rule/1 returns one or more actions. Defined actions are:

default(+Opt): If Opt is not defined, add Opt as default.
add(+Opt): Add an option. If the option is defined, remove it.
replace(+Opts, +Opt): Remove options for Opts (a list or a single option) and add Opt.
warning(Term): call print_message(warning, Term) and continue.
error(Term): call print_message(error, Term) and die using halt(1).

opt_rule(-Action) is nondet[private]

Option rules for s(CASP). Processed using opt_process/2 above.

opt_type(?Opt, ?Destination, ?Type)[private]

scasp_opt_type(?Flag, ?Option, ?Type)

scasp_opt_help(?Option, ?Help)

scasp_opt_meta(?Option, ?Meta)

Allow reusing scasp option processing

scasp_help

Print command line option help.

scasp_parse_args(+Args, -Sources, -Options)

Select from the list of arguments in Args which are the user-options, Options and which are the program files, Sources.

This predicate calls halt/0 when called with --version.

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

scasp_set_options(+Options) is det
scasp_set_options(+Options, -Unprocessed) is det: Set Prolog flags that control the solver from Options.
scasp_opt_type(?Flag, ?Option, ?Type)
scasp_opt_help(?Option, ?Help)
scasp_opt_meta(?Option, ?Meta): Allow reusing scasp option processing
scasp_opt_type(?Flag, ?Option, ?Type)
scasp_opt_help(?Option, ?Help)
scasp_opt_meta(?Option, ?Meta): Allow reusing scasp option processing