include/dlvhex2/ExternalLearningHelper.h File Reference
Provides helper functions for writing learning functions. Consider TestPlugin.cpp to see how these methods are used. More...
#include "dlvhex2/PlatformDefinitions.h"#include "dlvhex2/fwd.h"#include "dlvhex2/ProgramCtx.h"#include "dlvhex2/Registry.h"#include "dlvhex2/Nogood.h"#include <boost/shared_ptr.hpp>
Include dependency graph for ExternalLearningHelper.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | ExternalLearningHelper |
| Provides helper function for learning customized nogoods. More... | |
| class | ExternalLearningHelper::InputNogoodProvider |
| Extracts the relevant part of a query which is the reason for some tuple to be in the output or not. More... | |
| class | ExternalLearningHelper::DefaultInputNogoodProvider |
| Extracts all input atoms of a query and stores it as a nogoods, where false atoms over monotonic and true ones over antimonotonic predicate parameters are skipped. More... | |
Detailed Description
Provides helper functions for writing learning functions. Consider TestPlugin.cpp to see how these methods are used.
Definition in file ExternalLearningHelper.h.
