complete
Labelling · Kotlin object CompleteModule · library prolog.argumentation.graph.labelling.complete
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).
- Calls: scc
| Predicate | Description |
|---|---|
locality/1 | Query mode: the label of an argument only depends on the arguments it depends on (directionality) |
argumentLabelling/0 | Each complete labelling in turn, left as the active context |
locality/1
locality(-Locality)Query mode: the label of an argument only depends on the arguments it depends on (directionality)
argumentLabelling/0
argumentLabellingEach complete labelling in turn, left as the active context.