src/ComfortPluginInterface.cpp File Reference
comfortable plugin interface implementation More...
#include "dlvhex2/ComfortPluginInterface.h"#include "dlvhex2/Benchmarking.h"#include "dlvhex2/Printer.h"#include "dlvhex2/ProgramCtx.h"#include "dlvhex2/Registry.h"#include <sstream>
Include dependency graph for ComfortPluginInterface.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | DLVHEX_NAMESPACE_BEGIN |
for one eval unit, we transform the rules (idb) independent of input interpretations as follows: * replace all external atoms with eatom replacements | |
Typedefs | |
| typedef std::set< ComfortAtom > | DLVHEX_NAMESPACE_BEGIN::IntBase |
Detailed Description
comfortable plugin interface implementation
Definition in file ComfortPluginInterface.cpp.
