stable
Labelling · Kotlin object StableModule · library prolog.argumentation.graph.labelling.stable
The stable labellings (module stable, an argumentLabellingMode): those leaving no argument UND, built one
strongly connected component at a time (see the module scc).
- Calls: scc
| Predicate | Description |
|---|---|
locality/1 | Query mode: stable labellings depend on the whole graph (an odd cycle anywhere leaves none) |
argumentLabelling/0 | Stable labellings are SCC-recursive: built component by component, leaving no argument UND |
locality/1
locality(-Locality)Query mode: stable labellings depend on the whole graph (an odd cycle anywhere leaves none)
argumentLabelling/0
argumentLabellingStable labellings are SCC-recursive: built component by component, leaving no argument UND