dlvhex Source Documentation

Overview

This is the sourcecode documentation of the dlvhex system.

You will look into the documentation of dlvhex most likely to implement a plugin. In this case, please continue with the Plugin Interface Module (for C++) or the Python Plugin Interface Module, which contains all necessary information.

If you are interested in the implementation of the dlvhex core itself, have a look at the System Architecture for an overview.