Dependency Graph interface. More...

#include "dlvhex2/DependencyGraph.h"
#include "dlvhex2/LiberalSafetyChecker.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Rule.h"
#include "dlvhex2/Atoms.h"
#include "dlvhex2/PluginInterface.h"
#include "dlvhex2/GraphvizHelpers.h"
#include <boost/property_map/property_map.hpp>
#include <boost/foreach.hpp>
#include <boost/algorithm/string/replace.hpp>
#include <boost/range/join.hpp>
#include <sstream>

Include dependency graph for DependencyGraph.cpp:

Go to the source code of this file.

Detailed Description

Dependency Graph interface.

Classes for the dependency graph class and its subparts.

Author:: Peter Schueller <ps@kr.tuwien.ac.at>; Roman Schindlauer; Peter Schller

Date:: Mon Sep 19 12:19:38 CEST 2005

Definition in file DependencyGraph.cpp.