dlvhex
2.5.0
|
Implements DLV aggregates based on external atoms. More...
Go to the source code of this file.
Data Structures | |
class | AggregatePlugin |
Implements aggregate functions both by native handling or by rewriting them to external atoms. More... | |
class | AggregatePlugin::CtxData |
Implements DLV aggregates based on external atoms.
Definition in file AggregatePlugin.h.