Benchmarking features. More...
#include "dlvhex2/PlatformDefinitions.h"#include <boost/scope_exit.hpp>#include <boost/typeof/typeof.hpp>#include <boost/date_time/posix_time/posix_time.hpp>#include <boost/thread/mutex.hpp>#include <vector>#include <ostream>
Go to the source code of this file.
Data Structures | |
| class | benchmark::simple::BenchmarkController |
| Supports benchmarking of different components of dlvhex. More... | |
| struct | benchmark::simple::BenchmarkController::Stat |
| Information about a single benchmark value. More... | |
| class | benchmark::nestingAware::NestingAwareController |
| Supports benchmarking of different components of dlvhex. More... | |
| struct | benchmark::nestingAware::NestingAwareController::Stat |
| Information about a single benchmark value. More... | |
| struct | benchmark::nestingAware::NestingAwareController::Current |
Namespaces | |
| namespace | benchmark |
| namespace | benchmark::simple |
| namespace | benchmark::nestingAware |
Defines | |
| #define | DLVHEX_BENCHMARK_NESTINGAWARE |
| #define | DLVHEX_BENCHMARK_REGISTER(sid, msg) do { } while(0) |
| #define | DLVHEX_BENCHMARK_START(sid) do { } while(0) |
| #define | DLVHEX_BENCHMARK_STOP(sid) do { } while(0) |
| #define | DLVHEX_BENCHMARK_INVALIDATE(sid) do { } while(0) |
| #define | DLVHEX_BENCHMARK_SUSPEND(sid) do { } while(0) |
| #define | DLVHEX_BENCHMARK_SUSPEND_SCOPE(sid) do { } while(0) |
| #define | DLVHEX_BENCHMARK_COUNT(sid, num) do { } while(0) |
| #define | DLVHEX_BENCHMARK_SCOPE(sid) do { } while(0) |
| #define | DLVHEX_BENCHMARK_SCOPE_TPL(sid) do { } while(0) |
| #define | DLVHEX_BENCHMARK_REGISTER_AND_SCOPE(sid, msg) do { } while(0) |
| #define | DLVHEX_BENCHMARK_REGISTER_AND_SCOPE_TPL(sid, msg) do { } while(0) |
| #define | DLVHEX_BENCHMARK_REGISTER_AND_START(sid, msg) do { } while(0) |
| #define | DLVHEX_BENCHMARK_REGISTER_AND_COUNT(sid, msg, num) do { } while(0) |
Typedefs | |
| typedef unsigned | benchmark::ID |
| typedef unsigned | benchmark::Count |
| typedef boost::posix_time::ptime | benchmark::Time |
| typedef boost::posix_time::time_duration | benchmark::Duration |
| typedef nestingAware::NestingAwareController | benchmark::BenchmarkController |
Detailed Description
Define Documentation
| #define DLVHEX_BENCHMARK_COUNT | ( | sid, | |
| num | |||
| ) | do { } while(0) |
Definition at line 158 of file Benchmarking.h.
Referenced by GenuineWellfoundedModelGenerator::generateNextModel(), WellfoundedModelGenerator::generateNextModel(), PlainModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::GenuineGuessAndCheckModelGenerator(), GenuinePlainModelGenerator::GenuinePlainModelGenerator(), GuessAndCheckModelGenerator::GuessAndCheckModelGenerator(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), and GenuineGuessAndCheckModelGenerator::learnSupportSets().
| #define DLVHEX_BENCHMARK_INVALIDATE | ( | sid | ) | do { } while(0) |
Definition at line 155 of file Benchmarking.h.
| #define DLVHEX_BENCHMARK_NESTINGAWARE |
Definition at line 110 of file Benchmarking.h.
| #define DLVHEX_BENCHMARK_REGISTER | ( | sid, | |
| msg | |||
| ) | do { } while(0) |
Definition at line 152 of file Benchmarking.h.
Referenced by GenuineWellfoundedModelGenerator::generateNextModel(), WellfoundedModelGenerator::generateNextModel(), PlainModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::GenuineGuessAndCheckModelGenerator(), GenuinePlainModelGenerator::GenuinePlainModelGenerator(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), AssumptionBasedUnfoundedSetChecker::getUnfoundedSet(), GuessAndCheckModelGenerator::GuessAndCheckModelGenerator(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), GenuineGuessAndCheckModelGenerator::learnSupportSets(), and main().
| #define DLVHEX_BENCHMARK_REGISTER_AND_COUNT | ( | sid, | |
| msg, | |||
| num | |||
| ) | do { } while(0) |
Definition at line 164 of file Benchmarking.h.
Referenced by GenuineGuessAndCheckModelGenerator::addNogood(), AnnotatedGroundProgram::computeAdditionalDependencies(), AnnotatedGroundProgram::computeAtomDependencyGraph(), BaseModelGenerator::evaluateExternalAtom(), GenuineGuessAndCheckModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::getInconsistencyCause(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), AssumptionBasedUnfoundedSetChecker::getUnfoundedSet(), AnnotatedGroundProgram::hasECycles(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), ExternalLearningHelper::learnFromInputOutputBehavior(), ExternalLearningHelper::learnFromNegativeAtoms(), ExternalLearningHelper::DefaultInputNogoodProvider::operator()(), GenuineGuessAndCheckModelGenerator::updateEANogoods(), UnfoundedSetChecker::verifyExternalAtomByEvaluation(), and GenuineGuessAndCheckModelGenerator::verifyExternalAtomByEvaluation().
| #define DLVHEX_BENCHMARK_REGISTER_AND_SCOPE | ( | sid, | |
| msg | |||
| ) | do { } while(0) |
Definition at line 161 of file Benchmarking.h.
Referenced by BaseModelGeneratorFactory::addDomainPredicatesAndCreateDomainExplorationProgram(), ExternalAtomVerificationTree::addNogood(), BaseModelGenerator::buildEAtomInputTuples(), CDNLSolver::CDNLSolver(), CheckLiberalSafetyState::checkLiberalSafety(), BaseModelGenerator::computeExtensionOfDomainPredicates(), AnswerSet::computeWeightVector(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemAndInstantiateSolver(), ConvertState::convert(), CreateComponentGraphState::createComponentGraph(), CreateDependencyGraphState::createDependencyGraph(), CreateEvalGraphState::createEvalGraph(), BaseModelGenerator::evaluateExternalAtom(), BaseModelGenerator::evaluateExternalAtomQuery(), GenuineGuessAndCheckModelGenerator::finalCompatibilityCheck(), GenuineWellfoundedModelGenerator::generateNextModel(), WellfoundedModelGenerator::generateNextModel(), GenuinePlainModelGenerator::generateNextModel(), GuessAndCheckModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::GenuineGuessAndCheckModelGenerator(), GenuinePlainModelGenerator::GenuinePlainModelGenerator(), Interpretation::getHash(), GenuineSolver::getInstance(), ConcurrentQueueResults::getNextAnswerSet(), InternalGroundDASPSolver::getNextModel(), GenuineSolver::getNextModel(), InternalGroundASPSolver::getNextModel(), CDNLSolver::getNextModel(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), UnfoundedSetCheckerManager::getUnfoundedSet(), GenuineGuessAndCheckModelGenerator::getWatchedLiteral(), AnnotatedGroundProgram::initialize(), GenuineGuessAndCheckModelGenerator::inlineExternalAtoms(), InternalGroundASPSolver::InternalGroundASPSolver(), InternalGrounder::InternalGrounder(), GenuineGuessAndCheckModelGenerator::isModel(), UnfoundedSetChecker::isUnfoundedSet(), ExternalLearningHelper::learnFromInputOutputBehavior(), ExternalLearningHelper::learnFromNegativeAtoms(), BaseModelGenerator::learnSupportSetsForExternalAtom(), main(), ModuleSyntaxCheckState::moduleSyntaxCheck(), EncodingBasedUnfoundedSetChecker::nogoodTransformation(), AssumptionBasedUnfoundedSetChecker::nogoodTransformation(), AnswerSetPrinterCallback::operator()(), CSVAnswerSetPrinterCallback::operator()(), ExternalLearningHelper::DefaultInputNogoodProvider::operator()(), OptimizeEDBDependencyGraphState::optimizeEDBDependencyGraph(), DLVResultParser::parse(), ParseState::parse(), PostProcessState::postProcess(), AnswerSet::print(), Registry::printAtomForUser(), AnswerSet::printWeightVector(), BaseModelGenerator::projectEAtomInputInterpretation(), PluginAtom::retrieveCached(), PluginAtom::retrieveFacade(), RewriteEDBIDBState::rewriteEDBIDB(), SafetyCheckState::safetyCheck(), SetupProgramCtxState::setupProgramCtx(), AnswerSet::strictlyBetterThan(), StrongSafetyCheckState::strongSafetyCheck(), GenuineGuessAndCheckModelGenerator::unfoundedSetCheck(), GenuineGuessAndCheckModelGenerator::unverifyExternalAtoms(), GenuineGuessAndCheckModelGenerator::updateEANogoods(), GenuineGuessAndCheckModelGenerator::verifyExternalAtom(), UnfoundedSetChecker::verifyExternalAtomByEvaluation(), GenuineGuessAndCheckModelGenerator::verifyExternalAtomByEvaluation(), and GenuineGuessAndCheckModelGenerator::verifyExternalAtomBySupportSets().
| #define DLVHEX_BENCHMARK_REGISTER_AND_SCOPE_TPL | ( | sid, | |
| msg | |||
| ) | do { } while(0) |
Definition at line 162 of file Benchmarking.h.
Referenced by FLPModelGeneratorBase::isSubsetMinimalFLPModel().
| #define DLVHEX_BENCHMARK_REGISTER_AND_START | ( | sid, | |
| msg | |||
| ) | do { } while(0) |
Definition at line 163 of file Benchmarking.h.
Referenced by PlainModelGenerator::generateNextModel(), main(), and PluginAtom::retrieveCached().
| #define DLVHEX_BENCHMARK_SCOPE | ( | sid | ) | do { } while(0) |
Definition at line 159 of file Benchmarking.h.
| #define DLVHEX_BENCHMARK_SCOPE_TPL | ( | sid | ) | do { } while(0) |
Definition at line 160 of file Benchmarking.h.
| #define DLVHEX_BENCHMARK_START | ( | sid | ) | do { } while(0) |
Definition at line 153 of file Benchmarking.h.
Referenced by EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), AssumptionBasedUnfoundedSetChecker::getUnfoundedSet(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), and main().
| #define DLVHEX_BENCHMARK_STOP | ( | sid | ) | do { } while(0) |
Definition at line 154 of file Benchmarking.h.
Referenced by PlainModelGenerator::generateNextModel(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), AssumptionBasedUnfoundedSetChecker::getUnfoundedSet(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), main(), and PluginAtom::retrieveCached().
| #define DLVHEX_BENCHMARK_SUSPEND | ( | sid | ) | do { } while(0) |
Definition at line 156 of file Benchmarking.h.
| #define DLVHEX_BENCHMARK_SUSPEND_SCOPE | ( | sid | ) | do { } while(0) |
Definition at line 157 of file Benchmarking.h.
