Decorates TranscendLayer to support late annotations processing. More...
#include <latereasoning.h>
Detailed Description
template<class Parent>
class xreate::latereasoning::LateReasoningTranscendDecorator< Parent >
Decorates TranscendLayer to support late annotations processing.
Inheritance diagram for LateReasoningTranscendDecorator< Parent >:
Additional Inherited Members | |
 Public Member Functions inherited from TranscendLayer | |
| void | run () |
| Executes reasoning. | |
| void | registerReport (IAnalysisReport *report) |
| void | printReports () |
| void | deleteReports () |
| void | addRawScript (std::string &&script) |
| Appends arbitrary string to a logic program. | |
| IQuery * | registerQuery (IQuery *query, const QueryId &id) |
| Registers a query. See xreate::IQuery. | |
| IQuery * | getQuery (const QueryId &id) |
| Returns a particular query. See xreate::IQuery. | |
| StaticModel | query (const std::string &atom) const |
| size_t | getScopesCount () const |
| SymbolPacked | pack (const Symbol &symbol, std::string hintSymbolName="") |
| ScopePacked | pack (const CodeScope *const scope) |
| Symbol | unpack (const SymbolPacked &symbol) const |
| SymbolNode | pack (const SymbolGeneralized &symbol, const std::string &hintSymbolName) |
| SymbolGeneralized | unpack (const SymbolNode &symbol) const |
| std::string | getHintForPackedSymbol (const SymbolPacked &symbol) |
| void | addRuleWarning (const RuleWarning &rule) |
| Registers diagnostic rules. | |
| unsigned int | registerWarning (std::string &&message) |
| Registers diagnostic messages. | |
| Static Public Member Functions inherited from TranscendLayer | |
| template<class ... Types> | |
| static std::tuple< Types... > | parse (const Gringo::Symbol &atom) |
The documentation for this class was generated from the following file:
- cpp/src/aux/latereasoning.h
