core/it.unibo.tuprolog.argumentation.core.model.terms/LabelTerm

LabelTerm

object LabelTerm

The term of the module LabelModule as Kotlin reads and builds it (see LabelModule)

Properties

val labels: List<String>

The labels: in, out and und

Functions

fun argument(label: String, argument: Term): Struct

The fact labelling argument with label

fun identifier(label: String, id: Term): Struct

The fact labelling the argument with identifier id with label

fun statement(label: String, statement: Term): Struct

The fact labelling statement with label