src/InternalGroundASPSolver.cpp File Reference

ASP solver based on conflict-driven nogood learning. More...

#include "dlvhex2/InternalGroundASPSolver.h"
#include <iostream>
#include <sstream>
#include "dlvhex2/Logger.h"
#include "dlvhex2/GenuineSolver.h"
#include "dlvhex2/Benchmarking.h"
#include "dlvhex2/Printer.h"
#include <boost/foreach.hpp>
#include <boost/graph/strong_components.hpp>

Include dependency graph for InternalGroundASPSolver.cpp:

Go to the source code of this file.

Defines
#define	DBGLOGD(X, Y)   do{}while(false);

---

Detailed Description

ASP solver based on conflict-driven nogood learning.

Author:

Christoph Redl

Definition in file InternalGroundASPSolver.cpp.

---

Define Documentation

#define DBGLOGD	(		X,
			Y
	)		do{}while(false);

Definition at line 54 of file InternalGroundASPSolver.cpp.

Referenced by InternalGroundASPSolver::getExternalSupport(), InternalGroundASPSolver::getInitialNewlyUnfoundedAtomsAfterSetFact(), InternalGroundASPSolver::updateUnfoundedSetStructuresAfterClearFact(), and InternalGroundASPSolver::updateUnfoundedSetStructuresAfterSetFact().