include/dlvhex2/StrongNegationPlugin.h File Reference

Plugin for handling strong negation (extended programs) via rewriting to non-extended programs. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/PluginInterface.h"
#include <set>

Include dependency graph for StrongNegationPlugin.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	StrongNegationPlugin
	Implements strong negation by rewriting it to dedicated auxiliary predicates. More...
class	StrongNegationPlugin::CtxData

---

Detailed Description

Plugin for handling strong negation (extended programs) via rewriting to non-extended programs.

Author:

Peter Schueller

Definition in file StrongNegationPlugin.h.