dlvhex  2.5.0
Public Types | Data Fields
DependencyGraph::HeadBodyHelper Struct Reference

See boost::graph. More...

#include <include/dlvhex2/DependencyGraph.h>

Public Types

typedef
boost::multi_index_container
< HeadBodyInfo,
boost::multi_index::indexed_by
< boost::multi_index::hashed_unique
< boost::multi_index::tag
< IDTag >
, >, boost::multi_index::hashed_non_unique
< boost::multi_index::tag
< InHeadTag >
, >, boost::multi_index::hashed_non_unique
< boost::multi_index::tag
< InBodyTag >
, >, boost::multi_index::hashed_non_unique
< boost::multi_index::tag
< HeadPredicateTag >, > > > 		HBInfos
typedef HBInfos::index< IDTag >
::type 		IDIndex
typedef HBInfos::index
< InHeadTag >::type 		InHeadIndex
typedef HBInfos::index
< InBodyTag >::type 		InBodyIndex
typedef HBInfos::index
< HeadPredicateTag >::type 		HeadPredicateIndex

Data Fields

HBInfos infos
 See boost::graph.

Detailed Description

See boost::graph.

Definition at line 249 of file DependencyGraph.h.

Member Typedef Documentation

typedef boost::multi_index_container< HeadBodyInfo, boost::multi_index::indexed_by< boost::multi_index::hashed_unique< boost::multi_index::tag<IDTag>, >, boost::multi_index::hashed_non_unique< boost::multi_index::tag<InHeadTag>, >, boost::multi_index::hashed_non_unique< boost::multi_index::tag<InBodyTag>, >, boost::multi_index::hashed_non_unique< boost::multi_index::tag<HeadPredicateTag>, > > > DependencyGraph::HeadBodyHelper::HBInfos

Definition at line 271 of file DependencyGraph.h.

typedef HBInfos::index<HeadPredicateTag>::type DependencyGraph::HeadBodyHelper::HeadPredicateIndex

Definition at line 275 of file DependencyGraph.h.

typedef HBInfos::index<IDTag>::type DependencyGraph::HeadBodyHelper::IDIndex

Definition at line 272 of file DependencyGraph.h.

typedef HBInfos::index<InBodyTag>::type DependencyGraph::HeadBodyHelper::InBodyIndex

Definition at line 274 of file DependencyGraph.h.

typedef HBInfos::index<InHeadTag>::type DependencyGraph::HeadBodyHelper::InHeadIndex

Definition at line 273 of file DependencyGraph.h.

Field Documentation

HBInfos DependencyGraph::HeadBodyHelper::infos

See boost::graph.

Definition at line 278 of file DependencyGraph.h.

Referenced by DependencyGraph::createExternalPredicateInputDependenciesForInput(), DependencyGraph::createHeadBodyUnifyingDependencies(), DependencyGraph::createHeadHeadUnifyingDependencies(), DependencyGraph::createNodesAndIntraRuleDependenciesForBody(), and DependencyGraph::createNodesAndIntraRuleDependenciesForRuleAddHead().

The documentation for this struct was generated from the following file: