#include <include/dlvhex2/HigherOrderPlugin.h>
Public Types | |
| typedef std::set< unsigned > | AritySet |
| typedef std::set< ID > | PredicateInputSet |
Public Member Functions | |
| CtxData () | |
| virtual | ~CtxData () |
Data Fields | |
| bool | enabled |
| Stores if plugin is enabled. | |
| AritySet | arities |
| Stores the higher order arities which were encountered in the program. | |
| PredicateInputSet | predicateInputConstants |
| Stores which predicates are used as predicate inputs. | |
| PredicateMask | myAuxiliaryPredicateMask |
| Predicate mask for auxiliary higher order predicates. | |
Detailed Description
Definition at line 48 of file HigherOrderPlugin.h.
Member Typedef Documentation
| typedef std::set<unsigned> HigherOrderPlugin::CtxData::AritySet |
Definition at line 52 of file HigherOrderPlugin.h.
| typedef std::set<ID> HigherOrderPlugin::CtxData::PredicateInputSet |
Definition at line 53 of file HigherOrderPlugin.h.
Constructor & Destructor Documentation
Definition at line 60 of file HigherOrderPlugin.cpp.
| virtual HigherOrderPlugin::CtxData::~CtxData | ( | ) | [inline, virtual] |
Definition at line 73 of file HigherOrderPlugin.h.
Field Documentation
Stores the higher order arities which were encountered in the program.
Definition at line 60 of file HigherOrderPlugin.h.
Referenced by sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()(), and HigherOrderPlugin::setupProgramCtx().
Stores if plugin is enabled.
Definition at line 57 of file HigherOrderPlugin.h.
Referenced by HigherOrderPlugin::createParserModules(), HigherOrderPlugin::createRewriter(), HigherOrderPlugin::processOptions(), and HigherOrderPlugin::setupProgramCtx().
Predicate mask for auxiliary higher order predicates.
Definition at line 70 of file HigherOrderPlugin.h.
Referenced by HigherOrderPlugin::setupProgramCtx().
Stores which predicates are used as predicate inputs.
Such predicates 1) are derived via special rules 2) should not be printed from auxiliaries.
Definition at line 67 of file HigherOrderPlugin.h.
Referenced by HigherOrderPlugin::setupProgramCtx().
The documentation for this class was generated from the following files:
- include/dlvhex2/HigherOrderPlugin.h
- src/HigherOrderPlugin.cpp
