dlvhex  2.1.0
CAUAlgorithms Namespace Reference

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 Documentation

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.


Function Documentation

template<typename EvalGraphT >
void CAUAlgorithms::findCAUs ( std::set< typename EvalGraphT::EvalUnit > &  caus,
const EvalGraphT &  eg,
typename EvalGraphT::EvalUnit  u,
AncestryPropertyMap &  apm 
)
template<typename EvalGraphT >
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().

template<typename EvalGraphT >
void CAUAlgorithms::initJoinRelevance ( JoinRelevancePropertyMap &  jr,
const EvalGraphT &  eg 
)
void CAUAlgorithms::logAPM ( const AncestryPropertyMap &  apm)
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().

template<typename EvalGraphT >
void CAUAlgorithms::markJoinRelevance ( JoinRelevancePropertyMap &  jr,
const EvalGraphT &  eg,
typename EvalGraphT::EvalUnit  u,
const std::set< typename EvalGraphT::EvalUnit > &  caus,
const AncestryPropertyMap &  apm 
)