dlvhex  2.5.0
include/dlvhex2/EvalGraphBuilder.h File Reference

Framework for heuristics to build an EvalGraph from a ComponentGraph. More...

#include "dlvhex2/FinalEvalGraph.h"
#include "dlvhex2/ComponentGraph.h"
#include "dlvhex2/ASPSolverManager.h"
#include "dlvhex2/Logger.h"
#include <boost/range/iterator_range.hpp>
#include <boost/concept/assert.hpp>
#include <boost/concept_check.hpp>
#include <boost/graph/filtered_graph.hpp>
#include <boost/bimap/bimap.hpp>
#include <boost/bimap/unordered_set_of.hpp>
#include <boost/bimap/unordered_multiset_of.hpp>
#include <boost/scoped_ptr.hpp>
Include dependency graph for EvalGraphBuilder.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  EvalGraphBuilder
 This template provides a framework for building an evaluation graph. More...
struct  EvalGraphBuilder::identity
 Identity function. More...
struct  EvalGraphBuilder::UnusedVertexFilter
 For subgraph of component graph that still needs to be put into eval units. More...
struct  EvalGraphBuilder::UnusedEdgeFilter
 Edges of component graph that still need to be put into eval units. More...

Typedefs

typedef boost::shared_ptr
< EvalGraphBuilder
EvalGraphBuilderPtr

Detailed Description

Framework for heuristics to build an EvalGraph from a ComponentGraph.

Author:
Peter Schueller <[email protected]>

Definition in file EvalGraphBuilder.h.


Typedef Documentation

typedef boost::shared_ptr<EvalGraphBuilder> EvalGraphBuilderPtr

Definition at line 263 of file EvalGraphBuilder.h.