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.

 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