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

ArgumentTerm

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

Types

class Parts(val rules: Term, val topRule: Term, val conclusion: Term, val body: Term, val lastDefeasibleRules: Term, val defeasibleRules: Term, val defeasiblePremises: Term)

The parts of the term of an argument, by name

Functions

info

fun info(lastDefeasibleRules: Term, defeasibleRules: Term, defeasiblePremises: Term): Term

The info of an argument, made of its parts

fun of(rules: Term, topRule: Term, conclusion: Term, body: Term, info: Term): Term

The term of an argument, made of its parts

parts

fun parts(argument: Term): ArgumentTerm.Parts?

The parts of argument, the term of an argument; null if it is not one