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::BenchmarkController |
| struct | benchmark::BenchmarkController::Stat |
Namespaces | |
| namespace | benchmark |
Defines | |
| #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_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 |
Detailed Description
Define Documentation
| #define DLVHEX_BENCHMARK_COUNT | ( | sid, | |
| num | |||
| ) | do { } while(0) |
Definition at line 121 of file Benchmarking.h.
Referenced by WellfoundedModelGenerator::generateNextModel(), GenuineWellfoundedModelGenerator::generateNextModel(), PlainModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::GenuineGuessAndCheckModelGenerator(), GenuineGuessAndCheckModelGeneratorAsync::GenuineGuessAndCheckModelGeneratorAsync(), GenuinePlainModelGenerator::GenuinePlainModelGenerator(), GuessAndCheckModelGenerator::GuessAndCheckModelGenerator(), and FLPModelGeneratorBase::isSubsetMinimalFLPModel().
| #define DLVHEX_BENCHMARK_REGISTER | ( | sid, | |
| msg | |||
| ) | do { } while(0) |
Definition at line 118 of file Benchmarking.h.
Referenced by EvaluateState::evaluate(), BaseModelGenerator::evaluateExternalAtom(), WellfoundedModelGenerator::generateNextModel(), GenuineWellfoundedModelGenerator::generateNextModel(), PlainModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::GenuineGuessAndCheckModelGenerator(), GenuineGuessAndCheckModelGeneratorAsync::GenuineGuessAndCheckModelGeneratorAsync(), GenuinePlainModelGenerator::GenuinePlainModelGenerator(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), AssumptionBasedUnfoundedSetChecker::getUnfoundedSet(), GuessAndCheckModelGenerator::GuessAndCheckModelGenerator(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), and main().
| #define DLVHEX_BENCHMARK_REGISTER_AND_COUNT | ( | sid, | |
| msg, | |||
| num | |||
| ) | do { } while(0) |
Definition at line 127 of file Benchmarking.h.
Referenced by GenuineGuessAndCheckModelGenerator::generateNextModel(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), AssumptionBasedUnfoundedSetChecker::getUnfoundedSet(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), GenuineGuessAndCheckModelGenerator::transferLearnedEANogoods(), GenuineGuessAndCheckModelGeneratorAsync::transferLearnedEANogoods(), and GenuineGuessAndCheckModelGeneratorAsync::verifyModels().
| #define DLVHEX_BENCHMARK_REGISTER_AND_SCOPE | ( | sid, | |
| msg | |||
| ) | do { } while(0) |
Definition at line 124 of file Benchmarking.h.
Referenced by BaseModelGenerator::buildEAtomInputTuples(), CDNLSolver::CDNLSolver(), AssumptionBasedUnfoundedSetChecker::constructUFSDetectionProblemAndInstantiateSolver(), ConvertState::convert(), CreateComponentGraphState::createComponentGraph(), CreateDependencyGraphState::createDependencyGraph(), CreateEvalGraphState::createEvalGraph(), EvaluateState::evaluate(), BaseModelGenerator::evaluateExternalAtom(), WellfoundedModelGenerator::generateNextModel(), GenuineWellfoundedModelGenerator::generateNextModel(), GuessAndCheckModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGeneratorAsync::generateNextModel(), ConcurrentQueueResults::getNextAnswerSet(), InternalGroundDASPSolver::getNextModel(), InternalGroundASPSolver::getNextModel(), CDNLSolver::getNextModel(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), InternalGroundASPSolver::InternalGroundASPSolver(), InternalGrounder::InternalGrounder(), main(), ModuleSyntaxCheckState::moduleSyntaxCheck(), AnswerSetPrinterCallback::operator()(), OptimizeEDBDependencyGraphState::optimizeEDBDependencyGraph(), DLVResultParser::parse(), ParseState::parse(), PostProcessState::postProcess(), Registry::printAtomForUser(), BaseModelGenerator::projectEAtomInputInterpretation(), PluginAtom::retrieveCached(), RewriteEDBIDBState::rewriteEDBIDB(), SafetyCheckState::safetyCheck(), SetupProgramCtxState::setupProgramCtx(), and StrongSafetyCheckState::strongSafetyCheck().
| #define DLVHEX_BENCHMARK_REGISTER_AND_SCOPE_TPL | ( | sid, | |
| msg | |||
| ) | do { } while(0) |
Definition at line 125 of file Benchmarking.h.
Referenced by FLPModelGeneratorBase::isSubsetMinimalFLPModel().
| #define DLVHEX_BENCHMARK_REGISTER_AND_START | ( | sid, | |
| msg | |||
| ) | do { } while(0) |
Definition at line 126 of file Benchmarking.h.
Referenced by PlainModelGenerator::generateNextModel(), and main().
| #define DLVHEX_BENCHMARK_SCOPE | ( | sid | ) | do { } while(0) |
Definition at line 122 of file Benchmarking.h.
Referenced by BaseModelGenerator::evaluateExternalAtom().
| #define DLVHEX_BENCHMARK_SCOPE_TPL | ( | sid | ) | do { } while(0) |
Definition at line 123 of file Benchmarking.h.
| #define DLVHEX_BENCHMARK_START | ( | sid | ) | do { } while(0) |
Definition at line 119 of file Benchmarking.h.
Referenced by EvaluateState::evaluate(), EncodingBasedUnfoundedSetChecker::getUnfoundedSet(), AssumptionBasedUnfoundedSetChecker::getUnfoundedSet(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), and main().
| #define DLVHEX_BENCHMARK_STOP | ( | sid | ) | do { } while(0) |
