Control center for traversing and evaluating the program graph. More...

#include <iostream>
#include "dlvhex2/globals.h"
#include "dlvhex2/GraphProcessor.h"
#include "dlvhex2/ModelGenerator.h"
#include "dlvhex2/AtomSet.h"
#include "dlvhex2/Error.h"
#include "dlvhex2/PrintVisitor.h"
#include "dlvhex2/DependencyGraph.h"
#include "dlvhex2/ProgramCtx.h"

Include dependency graph for GraphProcessor.cpp:

Go to the source code of this file.

Detailed Description

Control center for traversing and evaluating the program graph.

Author:: Roman Schindlauer

Date:: Fri Sep 9 14:40:26 CEST 2005

Definition in file GraphProcessor.cpp.