Access to Default Settings
Author(s): Jose F. Morales.This module defines the setting values with some default values.
Note: This part needs better documentation. -- JFMC
Usage and interface
- Library usage:
:- use_module(library(autodoc_settings)). - Exports:
- Predicates:
lpdoc_option/1, verify_settings/0, check_setting/1, setting_value_or_default/2, setting_value_or_default/3, setting_value/2, all_setting_values/2, get_command_option/1, requested_file_formats/1, load_vpaths/0, viewer/4, xdvi/1, xdvisize/1, bibtex/1, tex/1, texindex/1, dvips/1, ps2pdf/1, makeinfo/1, makertf/1, rtftohlp/1, convertc/1.
- Predicates:
- Imports:
- System library modules:
system_extra, make/make_rt, aggregates, lpdist/distutils. - Internal (engine) modules:
term_basic, arithmetic, atomic_basic, basic_props, basiccontrol, data_facts, exceptions, io_aux, io_basic, prolog_flags, streams_basic, system_info, term_compare, term_typing, hiord_rt, debugger_support. - Packages:
prelude, nonpure, dcg, assertions, regtypes, fsyntax.
- System library modules:
Documentation on exports
PREDICATE
Usage:setting_value_or_default(Var,Value)
Returns in Value the value of the variable Var. In case this variable does not exists, it returns a default value. If there is no default value for the variable Var it fails.
