|
dlvhex
2.1.0
|
Data Structures | |
| class | AncestryMarkingVisitor |
| class | RelevanceMarkingVisitor |
Typedefs | |
| typedef std::set< int > | Ancestry |
| typedef boost::vector_property_map < Ancestry > | AncestryPropertyMap |
| typedef boost::vector_property_map < bool > | JoinRelevancePropertyMap |
Functions | |
| template<typename EvalGraphT > | |
| void | findCAUs (std::set< typename EvalGraphT::EvalUnit > &caus, const EvalGraphT &eg, typename EvalGraphT::EvalUnit u, AncestryPropertyMap &apm) |
| template<typename EvalGraphT > | |
| void | findCAUs (std::set< typename EvalGraphT::EvalUnit > &caus, const EvalGraphT &eg, typename EvalGraphT::EvalUnit u) |
| void | logAPM (const AncestryPropertyMap &apm) |
| template<typename EvalGraphT > | |
| void | initJoinRelevance (JoinRelevancePropertyMap &jr, const EvalGraphT &eg) |
| template<typename EvalGraphT > | |
| void | markJoinRelevance (JoinRelevancePropertyMap &jr, const EvalGraphT &eg, typename EvalGraphT::EvalUnit u, const std::set< typename EvalGraphT::EvalUnit > &caus, const AncestryPropertyMap &apm) |
| void | logJRPM (const JoinRelevancePropertyMap &jr) |
| typedef std::set<int> CAUAlgorithms::Ancestry |
Definition at line 46 of file CAUAlgorithms.h.
| typedef boost::vector_property_map<Ancestry> CAUAlgorithms::AncestryPropertyMap |
Definition at line 51 of file CAUAlgorithms.h.
| typedef boost::vector_property_map<bool> CAUAlgorithms::JoinRelevancePropertyMap |
Definition at line 82 of file CAUAlgorithms.h.
| void CAUAlgorithms::findCAUs | ( | std::set< typename EvalGraphT::EvalUnit > & | caus, |
| const EvalGraphT & | eg, | ||
| typename EvalGraphT::EvalUnit | u, | ||
| AncestryPropertyMap & | apm | ||
| ) |
Definition at line 180 of file CAUAlgorithms.h.
References LOG_VSCOPE.
Referenced by BOOST_FIXTURE_TEST_CASE(), OfflineModelBuilder< EvalGraphT >::buildIModels(), and findCAUs().
| void CAUAlgorithms::findCAUs | ( | std::set< typename EvalGraphT::EvalUnit > & | caus, |
| const EvalGraphT & | eg, | ||
| typename EvalGraphT::EvalUnit | u | ||
| ) |
Definition at line 65 of file CAUAlgorithms.h.
References findCAUs().
| void CAUAlgorithms::initJoinRelevance | ( | JoinRelevancePropertyMap & | jr, |
| const EvalGraphT & | eg | ||
| ) |
Definition at line 236 of file CAUAlgorithms.h.
Referenced by OfflineModelBuilder< EvalGraphT >::buildIModels(), OfflineModelBuilder< EvalGraphT >::buildOModels(), and markJoinRelevance().
| void CAUAlgorithms::logAPM | ( | const AncestryPropertyMap & | apm | ) |
Definition at line 40 of file CAUAlgorithms.cpp.
References DBGLOG, DBGLOG_SCOPE, and printset().
Referenced by BOOST_FIXTURE_TEST_CASE(), and OfflineModelBuilder< EvalGraphT >::buildIModels().
| void CAUAlgorithms::logJRPM | ( | const JoinRelevancePropertyMap & | jr | ) |
Definition at line 55 of file CAUAlgorithms.cpp.
References DBGLOG, and DBGLOG_SCOPE.
Referenced by OfflineModelBuilder< EvalGraphT >::buildIModels(), and markJoinRelevance().
| void CAUAlgorithms::markJoinRelevance | ( | JoinRelevancePropertyMap & | jr, |
| const EvalGraphT & | eg, | ||
| typename EvalGraphT::EvalUnit | u, | ||
| const std::set< typename EvalGraphT::EvalUnit > & | caus, | ||
| const AncestryPropertyMap & | apm | ||
| ) |
Definition at line 257 of file CAUAlgorithms.h.
References DBGLOG, initJoinRelevance(), and logJRPM().
Referenced by BOOST_FIXTURE_TEST_CASE(), and OfflineModelBuilder< EvalGraphT >::buildIModels().