ModuleRegistry

All the modules, each with an identifier of its own: a module is loaded by its identifier

The terms arg2p works on: the entities of argumentation graphs and of the rules

Evaluating the graph: abstract frameworks, the whole graph of a theory, or the part a query depends on

Changing the argumentation graph: the graph extensions

Building the argumentation graph: its arguments and attacks, and where they are kept

The semantics labelling the arguments, and the statements from them

The rules of a theory, as the graph builders read them

The entry points, and what they rely on