src/FunctionPlugin.cpp File Reference

Support for function symbol handling via external atoms. More...

#include "dlvhex2/FunctionPlugin.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 "dlvhex2/LiberalSafetyChecker.h"
#include <boost/algorithm/string/predicate.hpp>
#include <boost/lexical_cast.hpp>

Include dependency graph for FunctionPlugin.cpp:

Go to the source code of this file.

Data Structures
class	FunctionRewriter
class	FunctionComposeAtom
class	FunctionDecomposeAtom
class	IsFunctionTermAtom
class	GetArityAtom
class	FunctionDecomposeGeneralAtom
class	FunctionInterprete
class	FunctionParserModuleTermSemantics
struct	FunctionParserModuleTermSemantics::functionTermConstruct
struct	sem< FunctionParserModuleTermSemantics::functionTermConstruct >
class	FunctionParserModuleAtomSemantics
struct	FunctionParserModuleAtomSemantics::functionTermEval
struct	sem< FunctionParserModuleAtomSemantics::functionTermEval >

---

Detailed Description

Support for function symbol handling via external atoms.

Author:

Christoph Redl

Definition in file FunctionPlugin.cpp.