dlvhex
2.5.0
|
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>
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 |
Framework for heuristics to build an EvalGraph from a ComponentGraph.
Definition in file EvalGraphBuilder.h.
typedef boost::shared_ptr<EvalGraphBuilder> EvalGraphBuilderPtr |
Definition at line 263 of file EvalGraphBuilder.h.