src/StrongNegationPlugin.cpp File Reference

Plugin for cautions/brave ground/nonground queries in dlvhex. More...

#include "dlvhex2/StrongNegationPlugin.h"
#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/PredicateMask.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/HexParser.h"
#include "dlvhex2/HexParserModule.h"
#include "dlvhex2/HexGrammar.h"
#include <boost/algorithm/string/predicate.hpp>
#include <boost/lexical_cast.hpp>

Include dependency graph for StrongNegationPlugin.cpp:

Go to the source code of this file.

Data Structures
class	StrongNegationParserModuleSemantics
struct	StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom
struct	sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >

---

Detailed Description

Plugin for cautions/brave ground/nonground queries in dlvhex.

Author:

Peter Schueller

Definition in file StrongNegationPlugin.cpp.