Program context. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include "dlvhex2/Configuration.h"
#include "dlvhex2/ASPSolverManager.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/PluginContainer.h"
#include "dlvhex2/InputProvider.h"
#include "dlvhex2/FinalEvalGraph.h"
#include "dlvhex2/EvalHeuristicBase.h"
#include "dlvhex2/EvalGraphBuilder.h"
#include "dlvhex2/ExternalAtomEvaluationHeuristicsInterface.h"
#include "dlvhex2/UnfoundedSetCheckHeuristics.h"
#include "dlvhex2/ModelBuilder.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Nogood.h"
#include <boost/shared_ptr.hpp>
#include <boost/functional/factory.hpp>
#include <typeinfo>
#include <vector>
#include <string>
#include <iosfwd>

Include dependency graph for ProgramCtx.h:

Go to the source code of this file.

Data Structures
class	ProgramCtx
	Program context class. More...
class	ProgramCtx::SubprogramAnswerSetCallback
	Class for subprogram handling. More...
Typedefs
typedef boost::shared_ptr < ModelBuilder< FinalEvalGraph > >	ModelBuilderPtr
typedef boost::function < ModelBuilder< FinalEvalGraph > *(ModelBuilderConfig < FinalEvalGraph > &)>	ModelBuilderFactory
typedef std::map< std::string, PluginAtomPtr >	PluginAtomMap
Variables
DLVHEX_NAMESPACE_BEGIN typedef boost::shared_ptr < EvalHeuristicBase < EvalGraphBuilder > >	EvalHeuristicPtr