EvalGraphBuilder::UnusedVertexFilter Struct Reference

For subgraph of component graph that still needs to be put into eval units. More...

#include <include/dlvhex2/EvalGraphBuilder.h>

Public Member Functions
	UnusedVertexFilter ()
	Constructor.
	UnusedVertexFilter (const ComponentEvalUnitMapping *ceum)
	Constructor.
	UnusedVertexFilter (const UnusedVertexFilter &other)
	Copy-constructor.
UnusedVertexFilter &	operator= (const UnusedVertexFilter &other)
bool	operator() (Component comp) const
Data Fields
const ComponentEvalUnitMapping *	ceum
	Assigns evaluation units to components.

---

Detailed Description

For subgraph of component graph that still needs to be put into eval units.

We cannot use subgraph to keep track of the rest of the component graph, because subgraph does not allow for removing vertices and is furthermore broken for bundled properties (see boost bugtracker).

Therefore we use the mapping to keep track of used components and we filter the graph using boost::filtered_graph (components are unsigned ints as verified by the following concept check).

Definition at line 112 of file EvalGraphBuilder.h.

---

Constructor & Destructor Documentation

EvalGraphBuilder::UnusedVertexFilter::UnusedVertexFilter

(

)

[inline]

Constructor.

Definition at line 116 of file EvalGraphBuilder.h.

EvalGraphBuilder::UnusedVertexFilter::UnusedVertexFilter

(

const ComponentEvalUnitMapping *

ceum

)

[inline]

Constructor.

Parameters:

ceum	See UnusedVertexFilter::ceum.

Definition at line 119 of file EvalGraphBuilder.h.

EvalGraphBuilder::UnusedVertexFilter::UnusedVertexFilter

(

const UnusedVertexFilter &

other

)

[inline]

Copy-constructor.

Parameters:

other

Second UnusedVertexFilter.

Definition at line 122 of file EvalGraphBuilder.h.

---

Member Function Documentation

bool EvalGraphBuilder::UnusedVertexFilter::operator()

(

Component

comp

)

const [inline]

Definition at line 127 of file EvalGraphBuilder.h.

UnusedVertexFilter& EvalGraphBuilder::UnusedVertexFilter::operator=

(

const UnusedVertexFilter &

other

)

[inline]

Definition at line 123 of file EvalGraphBuilder.h.

References ceum.

---

Field Documentation

const ComponentEvalUnitMapping* EvalGraphBuilder::UnusedVertexFilter::ceum

Assigns evaluation units to components.

Definition at line 130 of file EvalGraphBuilder.h.

Referenced by operator=().

---

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

• include/dlvhex2/EvalGraphBuilder.h