Package-level declarations
Types
The admissible labellings (module admissible, an argumentLabellingMode): the conflict-free ones in which every attacker of an IN argument is attacked by an IN argument.
The cf2 labellings (module cf2, an argumentLabellingMode): the naive labellings of each strongly connected component, the components taken in turn once the arguments attacked by the previous ones are suppressed.
The complete labellings (module complete, an argumentLabellingMode): the admissible ones labelling IN every argument they defend, built one strongly connected component at a time (see the module scc).
The conflict-free labellings (module conflictfree, an argumentLabellingMode): a set of arguments IN, none attacking another one, those they attack OUT and the rest UND. The other semantics take from it the arguments to label and the labelling of a set.
The eager labelling (module eager, an argumentLabellingMode): the maximal admissible subset of the arguments IN in every semi-stable labelling.
The grounded labelling (module grounded, an argumentLabellingMode, the default one): the least fixpoint of IN the arguments whose attackers are all OUT and OUT those attacked by an IN one, computed natively (groundedFixpoint).
The ideal labelling (module ideal, an argumentLabellingMode): the maximal admissible subset of the arguments IN in every preferred labelling.
The naive labellings (module naive, an argumentLabellingMode): the conflict-free ones with a maximal set of IN arguments.
The preferred labellings (module preferred, an argumentLabellingMode): the admissible ones with a maximal set of IN arguments, built one strongly connected component at a time (see the module scc).
Support module of the SCC-recursive semantics (complete, preferred, stable): their labellings are built one strongly connected component at a time, the semantics only choosing which local labellings to keep.
The semi-stable labellings (module semistable, an argumentLabellingMode): the preferred ones with a minimal set of UND arguments.
The stable labellings (module stable, an argumentLabellingMode): those leaving no argument UND, built one strongly connected component at a time (see the module scc).
The stage2 labellings (module stage2, an argumentLabellingMode): as cf2, with the stage labellings in each strongly connected component.
The stage labellings (module stage, an argumentLabellingMode): the naive ones with a minimal set of UND arguments.
The strongly admissible labellings (module stronglyadmissible, an argumentLabellingMode): the admissible ones whose IN arguments are defended, step by step, starting from the unattacked ones.