src/ExtSourceProperties.cpp File Reference

Definition of properties of external sources. More...

#include "dlvhex2/ExtSourceProperties.h"
#include "dlvhex2/Atoms.h"
#include "dlvhex2/PluginInterface.h"
#include "boost/lexical_cast.hpp"

Include dependency graph for ExtSourceProperties.cpp:

Go to the source code of this file.

---

Detailed Description

Definition of properties of external sources.

Author:

Chrisoph Redl <redl@kr.tuwien.ac.at>

Definition in file ExtSourceProperties.cpp.