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