Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:
- d -
- DBGLOG
: Logger.h
- DBGLOG_INDENT
: Logger.h
- DBGLOG_SCOPE
: Logger.h
- DBGLOG_VSCOPE
: Logger.h
- DBGLOGD
: CDNLSolver.cpp
, InternalGroundASPSolver.cpp
, Nogood.cpp
- DEBUG
: config.h
- DEBUG_HOMOMORPHISM
: Atoms.cpp
- DEBUG_UNIFICATION
: Atoms.cpp
- DECLARE_TEMP_BLOCK
: bmconst.h
- DependencyGraphPtr
: fwd.h
- DLLEXPORT
: common.h
, config.h
- DLLIMPORT
: config.h
- DLVHEX_ABI_VERSION
: config.h
- DLVHEX_ABI_VERSION_MAJOR
: config.h
- DLVHEX_ABI_VERSION_MICRO
: config.h
- DLVHEX_ABI_VERSION_MINOR
: config.h
- DLVHEX_BENCHMARK
: config.h
, GenuineWellfoundedModelGenerator.cpp
, GuessAndCheckModelGenerator.cpp
, config.h
, NogoodGrounder.cpp
, PlainModelGenerator.cpp
, WellfoundedModelGenerator.cpp
, TestPlainHEX.cpp
, config.h
- DLVHEX_BENCHMARK_COUNT
: Benchmarking.h
- DLVHEX_BENCHMARK_INVALIDATE
: Benchmarking.h
- DLVHEX_BENCHMARK_NESTINGAWARE
: Benchmarking.h
- DLVHEX_BENCHMARK_REGISTER
: Benchmarking.h
- DLVHEX_BENCHMARK_REGISTER_AND_COUNT
: Benchmarking.h
- DLVHEX_BENCHMARK_REGISTER_AND_SCOPE
: Benchmarking.h
- DLVHEX_BENCHMARK_REGISTER_AND_SCOPE_TPL
: Benchmarking.h
- DLVHEX_BENCHMARK_REGISTER_AND_START
: Benchmarking.h
- DLVHEX_BENCHMARK_SCOPE
: Benchmarking.h
- DLVHEX_BENCHMARK_SCOPE_TPL
: Benchmarking.h
- DLVHEX_BENCHMARK_START
: Benchmarking.h
- DLVHEX_BENCHMARK_STOP
: Benchmarking.h
- DLVHEX_BENCHMARK_SUSPEND
: Benchmarking.h
- DLVHEX_BENCHMARK_SUSPEND_SCOPE
: Benchmarking.h
- DLVHEX_DEFINE_SEMANTIC_ACTION
: HexGrammar.h
- DLVHEX_EXPORT
: PlatformDefinitions.h
- DLVHEX_FLPMODELGENERATORBASE_TCC_INCLUDED
: FLPModelGeneratorBase.tcc
- DLVHEX_HEX_GRAMMAR_TCC_INCLUDED
: HexGrammar.tcc
- DLVHEX_NAMESPACE
: PlatformDefinitions.h
- DLVHEX_NAMESPACE_BEGIN
: PlatformDefinitions.h
- DLVHEX_NAMESPACE_END
: PlatformDefinitions.h
- DLVHEX_NAMESPACE_USE
: PlatformDefinitions.h
- DLVHEX_PLUGINEXPORT
: PlatformDefinitions.h
- DLVHEX_VERSION
: config.h
- DLVHEX_VERSION_MAJOR
: config.h
- DLVHEX_VERSION_MICRO
: config.h
- DLVHEX_VERSION_MINOR
: config.h
- DLVHEXPLUGIN
: config.h
- DLVPATH
: config.h
- DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN
: TestOnlineModelBuilder.cpp
- DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END
: TestOnlineModelBuilder.cpp