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

LabelledArgument

data class LabelledArgument(val argument: Argument, val label: Label)

An argument with its label: in, out, und (na for an argument the labelling does not label)

Constructors

LabelledArgument

constructor(argument: Argument, label: Label)

Properties

val argument: Argument

val label: Label

Functions

open override fun toString(): String

fun toTerm(): Struct

The fact labelling the argument (see LabelTerm)