dlvhex
2.5.0
|
Factory for UnfoundedSetCheckHeuristics. More...
#include <include/dlvhex2/UnfoundedSetCheckHeuristicsInterface.h>
Public Member Functions | |
virtual UnfoundedSetCheckHeuristicsPtr | createHeuristics (const AnnotatedGroundProgram &groundProgram, RegistryPtr reg)=0 |
Creates a heuristic instance for a certain ground program. | |
virtual | ~UnfoundedSetCheckHeuristicsFactory () |
Destructor. |
Factory for UnfoundedSetCheckHeuristics.
Definition at line 137 of file UnfoundedSetCheckHeuristicsInterface.h.
virtual UnfoundedSetCheckHeuristicsFactory::~UnfoundedSetCheckHeuristicsFactory | ( | ) | [inline, virtual] |
Destructor.
Definition at line 150 of file UnfoundedSetCheckHeuristicsInterface.h.
virtual UnfoundedSetCheckHeuristicsPtr UnfoundedSetCheckHeuristicsFactory::createHeuristics | ( | const AnnotatedGroundProgram & | groundProgram, |
RegistryPtr | reg | ||
) | [pure virtual] |
Creates a heuristic instance for a certain ground program.
groundProgram | The ground program |
reg | RegistryPtr |
Implemented in UnfoundedSetCheckHeuristicsPeriodicFactory, UnfoundedSetCheckHeuristicsMaxFactory, and UnfoundedSetCheckHeuristicsPostFactory.