core/it.unibo.tuprolog.argumentation.core.model.mining

Package-level declarations

Functions

The number of the active context branch: the one of the last stage of the last resolution

fun Solver.arguments(context: Int): List<Argument>

The arguments of the context branch context, with the arguments supporting them (Argument.supports), identified as A0, A1, ... in order of their number of supporters, rules, conclusion and top rule

attacks

fun Solver.attacks(context: Int, arguments: List<Argument>): List<Attack>

The attacks between arguments in the context branch context

graph

fun Solver.graph(): Graph

The graph of the active context branch

fun Solver.graph(context: Int): Graph

The graph of the context branch context: its arguments, labelled, their attacks and supports

labels

fun Solver.labels(context: Int, arguments: List<Argument>): List<LabelledArgument>

arguments with their labels in the context branch context (na, when an argument has none)

supports

fun Solver.supports(context: Int, arguments: List<Argument>): List<Support>

The supports between arguments in the context branch context