[ library(config_opts) | Reference Manual | Alphabetic Index ]
get_option(++Name, ?Value)
Retrieves the current value of an option
- Name
- Name of the option
- Value
- Value to be given to the option
Description
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