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

SupportTerm

object SupportTerm

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

Types

class Parts(val supporter: Term, val supported: Term)

The parts of the term of a support, by name

Functions

fun of(supporter: Term, supported: Term): Struct

The term of a support, made of its parts

fun parts(support: Term): SupportTerm.Parts?

The parts of support, the term of a support; null if it is not one