object
logger
Global logger object for logging events to files.
Author: Paulo Moura
Version: 1:0:0
Date: 2011-01-06
Compilation flags:
static, context_switching_callsImplements:
public loggingpRemarks:
(none)
Inherited public predicates:
Public predicates
(no local declarations; see entity ancestors if any)
Protected predicates
(no local declarations; see entity ancestors if any)
Private predicates
log_file_/2
Table of log files.
Compilation flags:
dynamicTemplate:
log_file_(Alias,File)Mode and number of proofs:
log_file_(?atom,?nonvar) - zero_or_morelogging_to_file_/2
Table of logging file status for log files.
Compilation flags:
dynamicTemplate:
logging_to_file_(Alias,Status)Mode and number of proofs:
logging_to_file_(?atom,?atom) - zero_or_moreOperators
(none)