[ library(config_opts) | Reference Manual | Alphabetic Index ]

get_option(++Name, ?Value)

Retrieves the current value of an option
Name of the option
Value to be given to the option


This predicate retrieves the current value Value of the option with name Name. The option must have already been registered with register_option/3.

Value is copied during retrieval, which means that if it is non-ground then it will contain fresh copies of variables rather than the original ones (or sharing with other retrieved copies).

See Also

register_option / 3, set_option / 2