PluginOptimizer Class Reference

Optimizer class. More...

#include <include/dlvhex2/PluginInterface.h>

Public Member Functions
virtual	~PluginOptimizer ()
virtual void	optimize (InterpretationPtr edb, DependencyGraphPtr depgraph)=0
	Optimize EDB and dependency graph.

---

Detailed Description

Optimizer class.

The purpose of an optimizer is to modify (prune) the dependency graph and the EDB before evaluation.

Other possibilities for modifying the way input is prepared for evaluation are:

• PluginInterface::createRewriter (rewrite the parsed program),
• PluginInterface::createConverter (rewrite the raw input stream),
• PluginInterface::createParser and PluginInterface::createParserModules.

Definition at line 1482 of file PluginInterface.h.

---

Constructor & Destructor Documentation

virtual PluginOptimizer::~PluginOptimizer

(

)

[inline, virtual]

Definition at line 1485 of file PluginInterface.h.

---

Member Function Documentation

virtual void PluginOptimizer::optimize	(	InterpretationPtr	edb,
		DependencyGraphPtr	depgraph
	)		[pure virtual]

Optimize EDB and dependency graph.

Parameters:

edb	Set of facts of the program
depgraph	Current dependency graph which can be modified to optimize it

---

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

• include/dlvhex2/PluginInterface.h