[ library(config_opts) | The ECLiPSe Libraries | 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