[ library(module_options) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

print_default_options(+Stream)

Print the valid options and their current default values to Stream
Stream
An output stream

Description

The exact behaviour of this predicate depends on the module from where it is invoked: It prints a list of the valid options and their current default values onto the stream Stream.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

library(module_options), get_options / 2, set_default_option / 2