src/dlvhex.cpp File Reference

main(). More...

#include "dlvhex2/Error.h"
#include "dlvhex2/Benchmarking.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/PluginContainer.h"
#include "dlvhex2/ASPSolverManager.h"
#include "dlvhex2/ASPSolver.h"
#include "dlvhex2/AnswerSetPrinterCallback.h"
#include "dlvhex2/State.h"
#include "dlvhex2/EvalGraphBuilder.h"
#include "dlvhex2/EvalHeuristicBase.h"
#include "dlvhex2/EvalHeuristicASP.h"
#include "dlvhex2/EvalHeuristicOldDlvhex.h"
#include "dlvhex2/EvalHeuristicTrivial.h"
#include "dlvhex2/EvalHeuristicEasy.h"
#include "dlvhex2/EvalHeuristicGreedy.h"
#include "dlvhex2/EvalHeuristicMonolithic.h"
#include "dlvhex2/EvalHeuristicFromFile.h"
#include "dlvhex2/ExternalAtomEvaluationHeuristics.h"
#include "dlvhex2/UnfoundedSetCheckHeuristics.h"
#include "dlvhex2/OnlineModelBuilder.h"
#include "dlvhex2/OfflineModelBuilder.h"
#include "dlvhex2/QueryPlugin.h"
#include "dlvhex2/AggregatePlugin.h"
#include "dlvhex2/ChoicePlugin.h"
#include "dlvhex2/ConditionalLiteralPlugin.h"
#include "dlvhex2/StrongNegationPlugin.h"
#include "dlvhex2/HigherOrderPlugin.h"
#include "dlvhex2/WeakConstraintPlugin.h"
#include "dlvhex2/ManualEvalHeuristicsPlugin.h"
#include "dlvhex2/FunctionPlugin.h"
#include <getopt.h>
#include <signal.h>
#include <sys/types.h>
#include <boost/tokenizer.hpp>
#include <boost/foreach.hpp>
#include <boost/lexical_cast.hpp>
#include <iostream>
#include <fstream>
#include <sstream>
#include <cstring>

Include dependency graph for dlvhex.cpp:

Go to the source code of this file.

Data Structures
struct	Config
Functions
DLVHEX_NAMESPACE_USE void	printLogo ()
	Print logo.
void	printUsage (std::ostream &out, const char *whoAmI, bool full)
	Print usage help.
void	printVersion ()
void	InternalError (const char *msg)
	Print a fatal error message and terminate.
void	processOptionsPrePlugin (int argc, char **argv, Config &config, ProgramCtx &pctx)
void	signal_handler (int signum)
int	main (int argc, char *argv[])
void	configurePluginPath (std::string &userPlugindir)

---

Detailed Description

main().

Author:

Roman Schindlauer

Date:

Thu Apr 28 15:00:10 2005

Definition in file dlvhex.cpp.

---

Function Documentation

void configurePluginPath

(

std::string &

userPlugindir

)

Definition at line 1796 of file dlvhex.cpp.

References USER_PLUGIN_DIR.

Referenced by processOptionsPrePlugin().

void InternalError

(

const char *

msg

)

Print a fatal error message and terminate.

Definition at line 414 of file dlvhex.cpp.

References PACKAGE_BUGREPORT.

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 472 of file dlvhex.cpp.

References ProgramCtx::addPluginAtomsFromPluginContainer(), ProgramCtx::associateExtAtomsWithPluginAtoms(), ProgramCtx::changeState(), ProgramCtx::config, ProgramCtx::convert(), ProgramCtx::createComponentGraph(), ProgramCtx::createDependencyGraph(), ProgramCtx::createEvalGraph(), ProgramCtx::customModelGeneratorProvider, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, Configuration::doVerbose(), Logger::ERROR, ProgramCtx::evalHeuristic, ProgramCtx::evaluate(), benchmark::nestingAware::NestingAwareController::finish(), GeneralError::getErrorMsg(), Configuration::getOption(), Configuration::getStringOption(), ProgramCtx::idb, ProgramCtx::inputProvider, Logger::Instance(), benchmark::nestingAware::NestingAwareController::Instance(), ProgramCtx::liberalSafetyCheck(), LOG, ProgramCtx::mlpSolver(), ProgramCtx::modelBuilder, ProgramCtx::modelBuilderFactory, ProgramCtx::moduleSyntaxCheck(), ProgramCtx::optimizeEDBDependencyGraph(), ProgramCtx::parse(), ProgramCtx::pluginContainer(), ProgramCtx::postProcess(), printLogo(), printUsage(), processOptionsPrePlugin(), ProgramCtx::processPluginOptions(), ProgramCtx::rewriteEDBIDB(), ProgramCtx::safetyCheck(), ProgramCtx::setASPSoftware(), benchmark::nestingAware::NestingAwareController::setOutput(), benchmark::nestingAware::NestingAwareController::setPrintInterval(), Logger::setPrintLevels(), Logger::setPrintLevelWidth(), ProgramCtx::setupPluginContainer(), ProgramCtx::setupProgramCtx(), ProgramCtx::setupRegistry(), ProgramCtx::showPlugins(), signal_handler(), ProgramCtx::strongSafetyCheck(), ProgramCtx::terminationRequest, Logger::WARNING, and WARNING().

DLVHEX_NAMESPACE_USE void printLogo

(

)

Print logo.

Definition at line 196 of file dlvhex.cpp.

References VERSION.

Referenced by main().

void printUsage	(	std::ostream &	out,
		const char *	whoAmI,
		bool	full
	)

Print usage help.

Definition at line 217 of file dlvhex.cpp.

Referenced by main().

void printVersion

(

)

Definition at line 391 of file dlvhex.cpp.

References PACKAGE_TARNAME, and VERSION.

Referenced by processOptionsPrePlugin().

void processOptionsPrePlugin	(	int	argc,
		char **	argv,
		Config &	config,
		ProgramCtx &	pctx
	)

Definition at line 772 of file dlvhex.cpp.

References Configuration::addFilter(), ProgramCtx::config, configurePluginPath(), DBGLOG, ProgramCtx::defaultExternalAtomEvaluationHeuristicsFactory, Logger::ERROR, ProgramCtx::evalHeuristic, ProgramCtx::getASPSoftware(), getopt_long(), Configuration::getOption(), Configuration::getStringOption(), Config::helpRequested, Logger::INFO, ProgramCtx::inputProvider, Logger::Instance(), LOG, ProgramCtx::maxint, ProgramCtx::modelBuilderFactory, ProgramCtx::modelCallbacks, no_argument, optarg, opterr, optind, optional_argument, Config::optionNoEval, Config::optionPlugindir, Config::pluginOptions, printVersion(), required_argument, ProgramCtx::setASPSoftware(), Configuration::setOption(), Logger::setPrintLevels(), Configuration::setStringOption(), ProgramCtx::unfoundedSetCheckHeuristicsFactory, Logger::WARNING, and WARNING().

Referenced by main().

void signal_handler

(

int

signum

)

Definition at line 455 of file dlvhex.cpp.

References benchmark::nestingAware::NestingAwareController::finish(), and LOG.

Referenced by main().