Evaluation Graph builder that dumps its evaluation plan. More...

Inheritance diagram for DumpingEvalGraphBuilder:

Collaboration diagram for DumpingEvalGraphBuilder:

Public Member Functions
	DumpingEvalGraphBuilder (ProgramCtx &ctx, ComponentGraph &cg, EvalGraphT &eg, ASPSolverManager::SoftwareConfigurationPtr externalEvalConfig, const std::string &outputfilename)
	Constructor.
virtual	~DumpingEvalGraphBuilder ()
	Destructor.
virtual EvalUnit	createEvalUnit (const std::list< Component > &comps, const std::list< Component > &ccomps)
	This methods modifies the eval graph.
Protected Attributes
std::ofstream	output
	Stream where the EvaluationGraph is dumped to.
std::map < ComponentGraph::Component, unsigned >	componentidx
	Assignment of unique indexes to components.

Detailed Description

Evaluation Graph builder that dumps its evaluation plan.

Definition at line 43 of file DumpingEvalGraphBuilder.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN DumpingEvalGraphBuilder::DumpingEvalGraphBuilder	(	ProgramCtx &	ctx,
		ComponentGraph &	cg,
		EvalGraphT &	eg,
		ASPSolverManager::SoftwareConfigurationPtr	externalEvalConfig,
		const std::string &	outputfilename
	)

Constructor.

Parameters:

ctx	See EvalGraphBuilder::ctx.
cg	See EvalGraphBuilder::cg.
eg	Evaluation graph to write the result to.
externalEvalConfig	See ASPSolverManager::SoftwareConfiguration.
outputfilename	Name of the file where the evaluation graph is written to.

DumpingEvalGraphBuilder::~DumpingEvalGraphBuilder ( ) [virtual]

Destructor.

DumpingEvalGraphBuilder::EvalUnit DumpingEvalGraphBuilder::createEvalUnit	(	const std::list< Component > &	comps,
		const std::list< Component > &	ccomps
	)		`[virtual]`

This methods modifies the eval graph.

It asserts that all requirements for evaluation units are fulfilled it adds an evaluation unit created from given nodes, including dependencies.

add ordered unit dependencies

ComponentRange

Parameters:

comps	List of components to directly put into eval unit.
ccomps	List of components to copy into eval unit (these copied components may only contain constraints, and these must obey the constraint pushing restrictions (this will be asserted by createEvalUnit)).