dlvhex  2.5.0
Data Structures | Defines
include/dlvhex2/Logger.h File Reference

Logging facility with comfortable indentation and closures. More...

#include "dlvhex2/PlatformDefinitions.h"
#include <boost/preprocessor/cat.hpp>
#include <boost/optional.hpp>
#include <boost/cstdint.hpp>
#include <boost/thread/mutex.hpp>
#include <boost/thread/tss.hpp>
#include <iostream>
#include <iomanip>
#include <sstream>
Include dependency graph for Logger.h:

Go to the source code of this file.

Data Structures

class  Logger
 Singleton logger class. More...
class  Logger::Closure
 Allows for printing within a given scope using some indent. More...
class  Logger::Init
 Logger initializer. More...

Defines

#define LOG_SCOPED_LOCK(varname)   boost::mutex::scoped_lock varname(Logger::Mutex());
#define LOG(level, streamout)
#define LOG_CLOSURE_ID   BOOST_PP_CAT(log_closure_,__LINE__)
#define LOG_INDENT(level)   Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, " ", false)
#define LOG_SCOPE(level, name, msg)   Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, name, msg)
#define LOG_VSCOPE(level, name, val, msg)   Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, name, reinterpret_cast<const void* const>(val), msg)
#define LOG_INIT(setlevel)   namespace { Logger::Init LOG_CLOSURE_ID (setlevel); }
#define DBGLOG(level, streamout)   LOG(level,streamout)
#define DBGLOG_INDENT(level)   LOG_INDENT(level)
#define DBGLOG_SCOPE(level, name, msg)   LOG_SCOPE(level,name,msg)
#define DBGLOG_VSCOPE(level, name, val, msg)   LOG_VSCOPE(level,name,val,msg)

Detailed Description

Logging facility with comfortable indentation and closures.

Author:
Peter Schueller <ps@kr.tuwien.ac.at>

Definition in file Logger.h.

Define Documentation

#define DBGLOG (   level,
  streamout 
)    LOG(level,streamout)

Definition at line 282 of file Logger.h.

Referenced by SimpleNogoodContainer::addAllResolvents(), LiberalSafetyChecker::addBoundedVariable(), OnlineModelBuilder< EvalGraphT >::EvalGraphObserver::addDependency(), InternalGrounder::addDerivableAtom(), LiberalSafetyChecker::addDomainExpansionSafeAttribute(), BaseModelGeneratorFactory::addDomainPredicatesAndCreateDomainExplorationProgram(), GenuineGuessAndCheckModelGeneratorFactory::addInconsistencyCauseFromSuccessor(), ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::addModel(), NogoodSet::addNogood(), GenuineGuessAndCheckModelGenerator::addNogood(), CDNLSolver::addNogoodAndUpdateWatchingStructures(), ExternalAtomMask::addOutputAtoms(), PredicateMask::addPredicate(), AnnotatedGroundProgram::addProgram(), InternalGroundASPSolver::addSourceToAtom(), OnlineModelBuilder< EvalGraphT >::EvalGraphObserver::addUnit(), OnlineModelBuilder< EvalGraphT >::advanceOModelForIModel(), CDNLSolver::analysis(), Term::analyzeTerm(), Nogood::applyVariableSubstitution(), ProgramCtx::associateExtAtomsWithPluginAtoms(), AssumptionBasedUnfoundedSetChecker::AssumptionBasedUnfoundedSetChecker(), EvalHeuristicASP::build(), EvalHeuristicEasy::build(), EvalHeuristicOldDlvhex::build(), EvalHeuristicGreedy::build(), DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::build(), BaseModelGenerator::buildEAtomInputTuples(), InternalGrounder::buildGroundInstance(), OfflineModelBuilder< EvalGraphT >::buildIModels(), OfflineModelBuilder< EvalGraphT >::buildIModelsRecursively(), OfflineModelBuilder< EvalGraphT >::buildOModels(), OfflineModelBuilder< EvalGraphT >::buildOModelsRecursively(), InternalGrounder::buildPredicateIndex(), ComponentGraph::calculateComponents(), ComponentGraph::calculateFixedDomain(), ComponentGraph::calculatePredicatesOfComponent(), ComponentGraph::calculateStratificationInfo(), SafetyChecker::checkSafety(), CDNLSolver::clearFact(), ComponentGraph::collapseComponents(), ComponentGraph::ComponentGraph(), AnnotatedGroundProgram::computeAdditionalDependencies(), AnnotatedGroundProgram::computeAtomDependencyGraph(), LiberalSafetyChecker::computeBuiltinInformationFlow(), InternalGroundASPSolver::computeClarkCompletion(), ComponentGraph::computeCollapsedComponentInfos(), DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::computeCyclicAttributes(), LiberalSafetyChecker::computeCyclicAttributes(), InternalGrounder::computeDepGraph(), LiberalSafetyChecker::computeDomainExpansionSafety(), AnnotatedGroundProgram::computeECycles(), BaseModelGenerator::computeExtensionOfDomainPredicates(), AnnotatedGroundProgram::computeHeadCycles(), FLPModelGeneratorBase::computeShadowAndUnfoundedPredicates(), InternalGrounder::computeStrata(), AnnotatedGroundProgram::computeStronglyConnectedComponents(), InternalGroundASPSolver::computeStronglyConnectedComponents(), ConcurrentQueueResults::ConcurrentQueueResults(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemAndInstantiateSolver(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemBasicEABehavior(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemDefineAuxiliaries(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemFacts(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemNonempty(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPart(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartBasicEAKnowledge(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartEAEnforement(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartLearnedFromMainSearch(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemOptimizationPartRestrictToCompatibleSet(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRestrictToSCC(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), ConvertState::convert(), BaseModelGeneratorFactory::convertRule(), BaseModelGeneratorFactory::convertRuleBody(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::createAtom(), sem< HexGrammarSemantics::classicalAtomFromPrefix >::createAtom(), FunctionPlugin::createAtoms(), AggregatePlugin::createAtoms(), DependencyGraph::createAuxiliaryRuleIfRequired(), LiberalSafetyChecker::createDependencyGraph(), FLPModelGeneratorFactoryBase::createEatomGuessingRule(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), CreateEvalGraphState::createEvalGraph(), DumpingEvalGraphBuilder::createEvalUnit(), EvalGraphBuilder::createEvalUnit(), DependencyGraph::createExternalPredicateInputDependencies(), FLPModelGeneratorFactoryBase::createFLPRules(), FLPModelGeneratorBase::createFoundingRules(), DependencyGraph::createHeadBodyUnifyingDependencies(), DependencyGraph::createHeadHeadUnifyingDependencies(), OnlineModelBuilder< EvalGraphT >::createIModelFromPredecessorOModels(), FLPModelGeneratorBase::createMinimalityRules(), InternalGroundASPSolver::createNewBodyAtom(), OnlineModelBuilder< EvalGraphT >::createNextModel(), DependencyGraph::createNode(), DependencyGraph::createNodesAndIntraRuleDependencies(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), DependencyGraph::createNodesAndIntraRuleDependenciesForRule(), DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead(), ChoicePlugin::createParserModules(), ConditionalLiteralPlugin::createParserModules(), FunctionPlugin::createParserModules(), StrongNegationPlugin::createParserModules(), HigherOrderPlugin::createParserModules(), ManualEvalHeuristicsPlugin::createParserModules(), QueryPlugin::createParserModules(), WeakConstraintPlugin::createRewriter(), InternalGroundASPSolver::createShiftedProgram(), InternalGroundASPSolver::createSingularLoopNogoods(), OnlineModelBuilder< EvalGraphT >::ensureModelIncrement(), LiberalSafetyChecker::ensureOrdinarySafety(), EvaluateState::evaluate(), BaseModelGenerator::evaluateExternalAtom(), ProgramCtx::evaluateSubprogram(), ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels::EvalUnitModels(), CAUAlgorithms::AncestryMarkingVisitor< Graph >::examine_edge(), OrdinaryAtom::existsHomomorphism(), AssumptionBasedUnfoundedSetChecker::expandUFSDetectionProblemAndReinstantiateSolver(), GenuineGuessAndCheckModelGenerator::finalCompatibilityCheck(), CDNLSolver::flipDecisionLiteral(), NogoodSet::forgetLeastFrequentlyAdded(), SimpleNogoodContainer::forgetLeastFrequentlyAdded(), GenuineGuessAndCheckModelGenerator::generalizeNogood(), PluginAtom::generalizeNogood(), GenuineWellfoundedModelGenerator::generateNextModel(), WellfoundedModelGenerator::generateNextModel(), GenuinePlainModelGenerator::generateNextModel(), GuessAndCheckModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::GenuineGuessAndCheckModelGenerator(), GenuinePlainModelGeneratorFactory::GenuinePlainModelGeneratorFactory(), GenuineWellfoundedModelGeneratorFactory::GenuineWellfoundedModelGeneratorFactory(), Registry::getAuxiliaryAtom(), Registry::getAuxiliaryConstantSymbol(), Registry::getAuxiliaryVariableSymbol(), InternalGrounder::getBinderOfRule(), InternalGroundASPSolver::getExternalSupport(), FLPModelGeneratorBase::getFLPNogood(), CDNLSolver::getGuess(), Registry::getIDByAuxiliaryConstantSymbol(), Registry::getIDByAuxiliaryVariableSymbol(), ExternalLearningHelper::getIDOfLearningRule(), InternalGroundASPSolver::getInconsistencyCause(), GenuineGuessAndCheckModelGenerator::getInconsistencyCause(), GenuineGrounder::getInstance(), SATSolver::getInstance(), GenuineGroundSolver::getInstance(), InternalGroundASPSolver::getLoopNogood(), Registry::getNewConstantTerm(), OfflineModelBuilder< EvalGraphT >::getNextIModel(), OnlineModelBuilder< EvalGraphT >::getNextIModel(), InternalGroundASPSolver::getNextModel(), CDNLSolver::getNextModel(), OnlineModelBuilder< EvalGraphT >::getNextOModel(), InternalGrounder::getOutputVariables(), InternalGroundASPSolver::getPossibleSourceRule(), InternalGrounder::getStratumOfRule(), ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::getSuccessorIntersection(), Registry::getTypeByAuxiliaryConstantSymbol(), UnfoundedSetChecker::getUFSNogood(), UnfoundedSetChecker::getUFSNogoodReductBased(), UnfoundedSetChecker::getUFSNogoodUFSBased(), InternalGroundASPSolver::getUnfoundedSet(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), AssumptionBasedUnfoundedSetChecker::getUnfoundedSet(), UnfoundedSetCheckerManager::getUnfoundedSet(), ExternalAtomVerificationTree::getVerifiedAuxiliaries(), GenuineGuessAndCheckModelGenerator::getWatchedLiteral(), InternalGrounder::groundRule(), InternalGrounder::groundStratum(), GuessAndCheckModelGenerator::GuessAndCheckModelGenerator(), CDNLSolver::handlePreviousModel(), AnnotatedGroundProgram::hasECycles(), Nogood::heuristicNormalization(), DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::identifyBenignCycles(), GenuineGuessAndCheckModelGenerator::identifyInconsistencyCause(), AnnotatedGroundProgram::initialize(), GenuineGuessAndCheckModelGenerator::initializeExplanationAtoms(), GenuineGuessAndCheckModelGenerator::initializeHeuristics(), GenuineGuessAndCheckModelGenerator::initializeInconsistencyAnalysis(), UnfoundedSetCheckerManager::initializeUnfoundedSetCheckers(), InternalGroundASPSolver::initSourcePointers(), GenuineGuessAndCheckModelGenerator::inlineExternalAtoms(), UnfoundedSetCheckerManager::instantiateUnfoundedSetChecker(), InternalGroundASPSolver::InternalGroundASPSolver(), InternalGrounder::InternalGrounder(), ExtSourceProperties::interpretProperties(), FLPModelGeneratorBase::isCompatibleSet(), GenuineGuessAndCheckModelGenerator::isModel(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), UnfoundedSetChecker::isUnfoundedSet(), ExternalLearningHelper::learnFromFunctionality(), ExternalLearningHelper::learnFromGroundRule(), ExternalLearningHelper::learnFromInputOutputBehavior(), ExternalLearningHelper::learnFromNegativeAtoms(), ExternalLearningHelper::learnFromRule(), AssumptionBasedUnfoundedSetChecker::learnNogoodsFromMainSearch(), GenuineGuessAndCheckModelGenerator::learnSupportSets(), BaseModelGenerator::learnSupportSetsForExternalAtom(), InternalGrounder::loadStratum(), CAUAlgorithms::logAPM(), CAUAlgorithms::logJRPM(), main(), AnnotatedGroundProgram::mapAuxToEAtoms(), CAUAlgorithms::markJoinRelevance(), Nogood::match(), InternalGrounder::matchNextFromExtensionBuiltin(), InternalGrounder::matchNextFromExtensionOrdinary(), ExternalAtomMask::matchOutputAtom(), EncodingBasedUnfoundedSetChecker::nogoodTransformation(), AssumptionBasedUnfoundedSetChecker::nogoodTransformation(), OnlineModelBuilder< EvalGraphT >::OnlineModelBuilder(), BaseModelGenerator::VerifyExternalAtomCB::onlyNegativeAuxiliaries(), ExternalLearningHelper::DefaultInputNogoodProvider::operator()(), StrongSafetyChecker::operator()(), sem< ConditionalParserModuleSemantics::conditionalLieral >::operator()(), sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::operator()(), sem< QueryParserModuleSemantics::queryBody >::operator()(), sem< HexGrammarSemantics::predFromPredDecl >::operator()(), sem< ChoiceParserModuleSemantics::choiceHead >::operator()(), handle_finished_answerset::operator()(), sem< HexGrammarSemantics::builtinTernaryInfix >::operator()(), sem< HexGrammarSemantics::builtinBinaryInfix >::operator()(), sem< HexGrammarSemantics::builtinUnaryPrefix >::operator()(), sem< HexGrammarSemantics::builtinBinaryPrefix >::operator()(), sem< HexGrammarSemantics::builtinTernaryPrefix >::operator()(), sem< HexGrammarSemantics::aggregateAtom >::operator()(), sem< HexGrammarSemantics::externalAtom >::operator()(), sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), sem< HexGrammarSemantics::constraint >::operator()(), sem< HexGrammarSemantics::weakconstraint >::operator()(), sem< HexGrammarSemantics::weakconstraintaspcore2 >::operator()(), sem< HexGrammarSemantics::add >::operator()(), BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::output(), BaseModelGenerator::VerifyExternalAtomCB::output(), BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB::output(), ModuleHexParser::parse(), DLVResultParser::parse(), TestListDomainAtom::permute(), PlainModelGeneratorFactory::PlainModelGeneratorFactory(), PostProcessState::postProcess(), DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::preprocessComponents(), InternalGrounder::preprocessRule(), Registry::printAtomForUser(), ConditionalLiteralPlugin::processOptions(), ChoicePlugin::processOptions(), WeakConstraintPlugin::processOptions(), FunctionPlugin::processOptions(), AggregatePlugin::processOptions(), StrongNegationPlugin::processOptions(), HigherOrderPlugin::processOptions(), ManualEvalHeuristicsPlugin::processOptions(), QueryPlugin::processOptions(), processOptionsPrePlugin(), GenuineGuessAndCheckModelGenerator::propagate(), Registry::registerUserAuxPrinter(), Registry::registerUserDefaultAuxPrinter(), NogoodSet::removeNogood(), InternalGroundASPSolver::removeSourceFromAtom(), InternalGrounder::reorderRuleBody(), GenuineGuessAndCheckModelGenerator::replacePredForInlinedEAs(), Registry::replaceVariablesInTerm(), CDNLSolver::resizeVectors(), Nogood::resolve(), CDNLSolver::resolve(), InternalGroundASPSolver::restartWithAssumptions(), CDNLSolver::restartWithAssumptions(), TestListDomainAtom::retrieve(), ComfortPluginAtom::retrieve(), TestSetMinusNogoodBasedLearningAtom::retrieve(), PluginAtom::retrieve(), TestSetMinusNongroundNogoodBasedLearningAtom::retrieve(), TestSetMinusRuleBasedLearningAtom::retrieve(), TestPlugin::TestSetUnionAtom::retrieve(), PluginAtom::retrieveCached(), PluginAtom::retrieveFacade(), TestASPQueryAtom::retrieveOrLearnSupportSets(), DLVHEX_NAMESPACE_BEGIN::FinitenessChecker::run(), DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker::run(), DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::run(), InternalGroundASPSolver::satisfiesIndependently(), PredicateTable::setArity(), AssumptionBasedUnfoundedSetChecker::setAssumptions(), ExternalAtomMask::setEAtom(), InternalGroundASPSolver::setEDB(), CDNLSolver::setFact(), InternalGrounder::setToTrue(), WeakConstraintPlugin::setupProgramCtx(), DLVProcess::setupStreams(), PluginAtom::splitQuery(), Registry::storeConstantTerm(), Registry::storeConstOrVarTerm(), storePredicate(), Registry::storeVariableTerm(), TestPlugin::TestSetUnionAtom::TestSetUnionAtom(), internal::transitivePredecessorComponents(), internalgreedy::transitivePredecessorComponents(), GenuineGuessAndCheckModelGenerator::unfoundedSetCheck(), UnfoundedSetChecker::UnfoundedSetChecker(), UnfoundedSetCheckHeuristics::UnfoundedSetCheckHeuristics(), UnfoundedSetChecker::UnfoundedSetVerificationStatus::UnfoundedSetVerificationStatus(), OrdinaryAtom::unifiesWith(), ComfortAtom::unifiesWith(), CDNLSolver::unitPropagation(), GenuineGuessAndCheckModelGenerator::unverifyExternalAtoms(), ImmediateNogoodGrounder::update(), LazyNogoodGrounder::update(), GenuineGuessAndCheckModelGenerator::updateEANogoods(), PredicateMask::updateMask(), ExternalAtomMask::updateMask(), UnfoundedSetCheckHeuristics::updateSkipProgram(), InternalGroundASPSolver::updateUnfoundedSetStructuresAfterSetFact(), CDNLSolver::updateWatchingStructuresAfterClearFact(), InternalGroundASPSolver::useAsNewSourceForHeadAtom(), MLPSyntaxChecker::verifyAllModuleCalls(), UnfoundedSetChecker::verifyExternalAtomByEvaluation(), GenuineGuessAndCheckModelGenerator::verifyExternalAtomByEvaluation(), GenuineGuessAndCheckModelGenerator::verifyExternalAtomBySupportSets(), GenuineGuessAndCheckModelGenerator::verifyExternalAtoms(), AnnotatedGroundProgram::verifyExternalAtomsUsingCompleteSupportSets(), MLPSyntaxChecker::verifyPredInputsArityModuleCall(), MLPSyntaxChecker::verifyPredOutputArityModuleCall(), WellfoundedModelGeneratorFactory::WellfoundedModelGeneratorFactory(), LiberalSafetyChecker::writeGraphViz(), ComponentGraph::~ComponentGraph(), ConcurrentQueueResults::~ConcurrentQueueResults(), ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels::~EvalUnitModels(), GenuineGuessAndCheckModelGenerator::~GenuineGuessAndCheckModelGenerator(), GenuinePlainModelGenerator::~GenuinePlainModelGenerator(), PluginContainer::~PluginContainer(), and ProgramCtx::~ProgramCtx().

#define DBGLOG_INDENT (   level)    LOG_INDENT(level)

Definition at line 283 of file Logger.h.

Referenced by ComponentGraph::computeCollapsedComponentInfos(), FLPModelGeneratorFactoryBase::createEatomGuessingRule(), and ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::getSuccessorIntersection().

#define DBGLOG_SCOPE (   level,
  name,
  msg 
)    LOG_SCOPE(level,name,msg)

Definition at line 284 of file Logger.h.

Referenced by ProgramCtx::associateExtAtomsWithPluginAtoms(), ComponentGraph::collapseComponents(), ComponentGraph::computeCollapsedComponentInfos(), DependencyGraph::createAuxiliaryRuleIfRequired(), FLPModelGeneratorFactoryBase::createEatomGuessingRules(), DumpingEvalGraphBuilder::createEvalUnit(), DependencyGraph::createExternalPredicateInputDependencies(), FLPModelGeneratorFactoryBase::createFLPRules(), DependencyGraph::createHeadBodyUnifyingDependencies(), DependencyGraph::createHeadHeadUnifyingDependencies(), DependencyGraph::createNodesAndIntraRuleDependencies(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), OnlineModelBuilder< EvalGraphT >::ensureModelIncrement(), OrdinaryAtom::existsHomomorphism(), GuessAndCheckModelGenerator::generateNextModel(), Registry::getAuxiliaryConstantSymbol(), Registry::getAuxiliaryVariableSymbol(), ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::getSuccessorIntersection(), CAUAlgorithms::logAPM(), CAUAlgorithms::logJRPM(), ComfortPluginAtom::retrieve(), RewriteEDBIDBState::rewriteEDBIDB(), OrdinaryAtom::unifiesWith(), and ComfortAtom::unifiesWith().

#define DBGLOG_VSCOPE (   level,
  name,
  val,
  msg 
)    LOG_VSCOPE(level,name,val,msg)

Definition at line 285 of file Logger.h.

Referenced by PredicateMask::addPredicate(), DependencyGraph::createNodesAndIntraRuleDependenciesForRule(), PredicateMask::updateMask(), and ExternalAtom::updatePredicateInputMask().

#define LOG (   level,
  streamout 
)
Value:
do { LOG_SCOPED_LOCK(lock); \
        if( Logger::Instance().shallPrint(Logger:: level) ) \
        { \
            Logger::Instance().startline(Logger:: level); \
            Logger::Instance().stream() << streamout << std::endl; \
        } \
    } while(false);

Definition at line 257 of file Logger.h.

Referenced by BaseModelGeneratorFactory::addDomainPredicatesAndCreateDomainExplorationProgram(), PluginContainer::addInternalPlugin(), ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::addModel(), ProgramCtx::addPluginAtom(), ProgramCtx::addPluginAtomsFromPluginContainer(), OnlineModelBuilder< EvalGraphT >::advanceOModelForIModel(), BOOST_AUTO_TEST_CASE(), BOOST_FIXTURE_TEST_CASE(), EvalHeuristicASP::build(), EvalHeuristicEasy::build(), EvalHeuristicMonolithic::build(), EvalHeuristicOldDlvhex::build(), EvalHeuristicTrivial::build(), EvalHeuristicFromFile::build(), EvalHeuristicGreedy::build(), DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::build(), OfflineModelBuilder< EvalGraphT >::buildIModels(), OfflineModelBuilder< EvalGraphT >::buildIModelsRecursively(), OfflineModelBuilder< EvalGraphT >::buildOModels(), OfflineModelBuilder< EvalGraphT >::buildOModelsRecursively(), ComponentGraph::calculateComponents(), State::changeState(), CheckLiberalSafetyState::checkLiberalSafety(), SafetyChecker::checkSafety(), ProcessBuf::close(), ComponentGraph::collapseComponents(), ComponentGraph::computeCollapsedComponentInfos(), EncodingBasedUnfoundedSetChecker::constructUFSDetectionProblemNecessaryPart(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemRule(), ConvertState::convert(), DependencyGraph::createAuxiliaryRuleIfRequired(), CreateComponentGraphState::createComponentGraph(), CreateDependencyGraphState::createDependencyGraph(), CreateEvalGraphState::createEvalGraph(), EvalGraphBuilder::createEvalUnit(), DependencyGraph::createExternalPredicateInputDependencies(), DependencyGraph::createExternalPredicateInputDependenciesForInput(), FLPModelGeneratorFactoryBase::createFLPRules(), DependencyGraph::createHeadBodyUnifyingDependencies(), OnlineModelBuilder< EvalGraphT >::createIModelFromPredecessorOModels(), TestModelGeneratorFactory::createModelGenerator(), OnlineModelBuilder< EvalGraphT >::createNextModel(), OnlineModelBuilder< EvalGraphT >::ensureModelIncrement(), EvalGraphE1Fixture::EvalGraphE1Fixture(), EvalGraphE2Fixture::EvalGraphE2Fixture(), EvaluateState::evaluate(), BaseModelGenerator::evaluateExternalAtom(), BaseModelGenerator::evaluateExternalAtomQuery(), BaseModelGenerator::evaluateExternalAtoms(), CAUAlgorithms::AncestryMarkingVisitor< Graph >::examine_edge(), evalheur::executeBuildCommands(), GenuineWellfoundedModelGenerator::generateNextModel(), WellfoundedModelGenerator::generateNextModel(), TestModelGeneratorFactory::ModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGeneratorFactory::GenuineGuessAndCheckModelGeneratorFactory(), OfflineModelBuilder< EvalGraphT >::getNextIModel(), OnlineModelBuilder< EvalGraphT >::getNextIModel(), OnlineModelBuilder< EvalGraphT >::getNextOModel(), GuessAndCheckModelGeneratorFactory::GuessAndCheckModelGeneratorFactory(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), main(), TestModelGeneratorFactory::ModelGenerator::ModelGenerator(), OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >::OfflineModelBuilderTFixture(), OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >::OnlineModelBuilderTFixture(), ProcessBuf::open(), StrongSafetyChecker::operator()(), sem< QueryParserModuleSemantics::queryBody >::operator()(), sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit >::operator()(), sem< HexGrammarSemantics::ignoreAndWarnIfNotFail >::operator()(), PredicateMask::operator=(), OptimizeEDBDependencyGraphState::optimizeEDBDependencyGraph(), BaseModelGenerator::VerifyExternalAtomCB::output(), ModuleHexParser::parse(), DLVResultParser::parse(), ParseState::parse(), parseCommandFile(), PredicateMask::PredicateMask(), DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode::preprocessComponents(), CounterVerification< EvalGraphT >::printCounters(), QueryPlugin::processOptions(), processOptionsPrePlugin(), ProgramCtx::processPluginOptions(), CounterVerification< EvalGraphT >::recordCounters(), TestPluginAtomCount::retrieve(), TestPluginAtomReach::retrieve(), AbovePluginAtom::retrieve(), SenseNotArmed1PluginAtom::retrieve(), SenseNotArmed2PluginAtom::retrieve(), RewriteEDBIDBState::rewriteEDBIDB(), ExternalAtomMask::setEAtom(), OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties::setIModel(), InternalGroundASPSolver::setOptimum(), ProgramCtx::setupByPlugins(), ShowPluginsState::showPlugins(), signal_handler(), testABBAProgram(), testAFinProgram(), testCardinalityProgram(), testComplexProgram(), testCsProgram(), testDisjunctionProgram(), testHanoiProgram(), testInconsistentProgram(), testIndirectionProgram(), testIStratified2Program(), testIStratifiedProgram(), TestModelGeneratorFactory::TestModelGeneratorFactory(), testNegationProgram(), testNoticStratifiedProgram(), testOneMainModules(), testReachabilityNonGroundProgram(), testSimple(), testTwoMainModules(), testTwoModuleCalls1(), testTwoModuleCalls2(), GenuineGuessAndCheckModelGenerator::unfoundedSetCheck(), GenuineGuessAndCheckModelGenerator::updateEANogoods(), BaseModelGenerator::verifyEAtomAnswerTuple(), verifyModels(), writeGraphVizFunctors(), PluginContainer::~PluginContainer(), and TestModelGeneratorFactory::~TestModelGeneratorFactory().

#define LOG_CLOSURE_ID   BOOST_PP_CAT(log_closure_,__LINE__)

Definition at line 264 of file Logger.h.

#define LOG_INDENT (   level)    Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, " ", false)

Definition at line 265 of file Logger.h.

Referenced by TestModelGeneratorFactory::ModelGenerator::ModelGenerator(), and CounterVerification< EvalGraphT >::printCounters().

#define LOG_INIT (   setlevel)    namespace { Logger::Init LOG_CLOSURE_ID (setlevel); }

Definition at line 278 of file Logger.h.

#define LOG_SCOPE (   level,
  name,
  msg 
)    Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, name, msg)

Definition at line 266 of file Logger.h.

Referenced by BaseModelGenerator::buildEAtomInputTuples(), ComponentGraph::calculateComponents(), SafetyChecker::checkSafety(), EvalGraphBuilder::createEvalUnit(), DependencyGraph::createExternalPredicateInputDependencies(), DependencyGraph::createExternalPredicateInputDependenciesForInput(), DependencyGraph::createHeadBodyUnifyingDependencies(), DependencyGraph::createHeadHeadUnifyingDependencies(), OnlineModelBuilder< EvalGraphT >::createIModelFromPredecessorOModels(), EvalGraphE1Fixture::EvalGraphE1Fixture(), EvalGraphE2Fixture::EvalGraphE2Fixture(), EvalGraphEx1Fixture::EvalGraphEx1Fixture(), BaseModelGenerator::evaluateExternalAtom(), GenuineGuessAndCheckModelGenerator::generateNextModel(), BaseModelGenerator::learnSupportSetsForExternalAtom(), PluginContainer::loadPlugins(), OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >::OfflineModelBuilderTFixture(), OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >::OnlineModelBuilderTFixture(), StrongSafetyChecker::operator()(), CounterVerification< EvalGraphT >::recordCounters(), TestPluginAtomCount::retrieve(), ExternalAtomMask::setEAtom(), and BaseModelGenerator::verifyEAtomAnswerTuple().

#define LOG_SCOPED_LOCK (   varname)    boost::mutex::scoped_lock varname(Logger::Mutex());

Definition at line 51 of file Logger.h.

Referenced by Logger::Closure::Closure(), and Logger::Closure::~Closure().

#define LOG_VSCOPE (   level,
  name,
  val,
  msg 
)    Logger::Closure LOG_CLOSURE_ID (Logger::Instance(), Logger:: level, name, reinterpret_cast<const void* const>(val), msg)

Definition at line 267 of file Logger.h.

Referenced by ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::addModel(), OnlineModelBuilder< EvalGraphT >::advanceOModelForIModel(), OfflineModelBuilder< EvalGraphT >::buildIModels(), OfflineModelBuilder< EvalGraphT >::buildIModelsRecursively(), OfflineModelBuilder< EvalGraphT >::buildOModels(), OfflineModelBuilder< EvalGraphT >::buildOModelsRecursively(), TestModelGeneratorFactory::createModelGenerator(), OnlineModelBuilder< EvalGraphT >::createNextModel(), OnlineModelBuilder< EvalGraphT >::ensureModelIncrement(), CAUAlgorithms::findCAUs(), TestModelGeneratorFactory::ModelGenerator::generateNextModel(), OfflineModelBuilder< EvalGraphT >::getNextIModel(), OnlineModelBuilder< EvalGraphT >::getNextIModel(), OnlineModelBuilder< EvalGraphT >::getNextOModel(), TestModelGeneratorFactory::ModelGenerator::ModelGenerator(), TestModelGeneratorFactory::TestModelGeneratorFactory(), TestModelGeneratorFactory::ModelGenerator::~ModelGenerator(), and TestModelGeneratorFactory::~TestModelGeneratorFactory().