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