dlvhex
2.5.0
|
Implementations related to Common Ancestor Units (CAUs). More...
#include "dlvhex2/CAUAlgorithms.h"
Go to the source code of this file.
Namespaces | |
namespace | CAUAlgorithms |
Function templates related to Common Ancestor Units (CAUs). | |
Functions | |
DLVHEX_EXPORT void | CAUAlgorithms::logAPM (const AncestryPropertyMap &apm) |
Logs a given AncestryPropertyMap. | |
DLVHEX_EXPORT void | CAUAlgorithms::logJRPM (const JoinRelevancePropertyMap &jr) |
Implementations related to Common Ancestor Units (CAUs).
Definition in file CAUAlgorithms.cpp.