dlvhex  2.5.0
include/dlvhex2/ExternalAtomEvaluationHeuristics.h File Reference

Concrete classes with heuristics for external atom evaluations in genuine G&C model generators. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ExternalAtomEvaluationHeuristicsInterface.h"
#include "dlvhex2/fwd.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/Registry.h"
#include <boost/unordered_map.hpp>
#include <boost/shared_ptr.hpp>
Include dependency graph for ExternalAtomEvaluationHeuristics.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  ExternalAtomEvaluationHeuristicsAlways
 Evaluates always when the heuristics is asked. More...
class  ExternalAtomEvaluationHeuristicsAlwaysFactory
 Factory for ExternalAtomEvaluationHeuristicsAlways. More...
class  ExternalAtomEvaluationHeuristicsPeriodic
 Evaluates in regular intervals. More...
class  ExternalAtomEvaluationHeuristicsPeriodicFactory
 Factory for ExternalAtomEvaluationHeuristicsPeriodicFactory. More...
class  ExternalAtomEvaluationHeuristicsInputComplete
 Evaluates always when the heuristics is asked and the input to the external atom is complete. More...
class  ExternalAtomEvaluationHeuristicsInputCompleteFactory
 Factory for ExternalAtomEvaluationHeuristicsInputComplete. More...
class  ExternalAtomEvaluationHeuristicsEAComplete
 Evaluates always when the heuristics is asked and all atoms relevant for this external atom are assigned. More...
class  ExternalAtomEvaluationHeuristicsEACompleteFactory
 Factory for ExternalAtomEvaluationHeuristicsEAComplete. More...
class  ExternalAtomEvaluationHeuristicsNever
 Never evaluates when the heuristics is asked (but the reasoner will still do this whenever absolutely necessary). More...
class  ExternalAtomEvaluationHeuristicsNeverFactory
 Factory for ExternalAtomEvaluationHeuristicsNever. More...

Detailed Description

Concrete classes with heuristics for external atom evaluations in genuine G&C model generators.

Author:
Christoph Redl <redl@kr.tuwien.ac.at>

Definition in file ExternalAtomEvaluationHeuristics.h.