[ 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