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

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)