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

Premise

data class Premise(val identifier: RuleIdentifier, val conclusion: Term, val strict: Boolean = false) : ArgItem

Constructors

constructor(identifier: RuleIdentifier, conclusion: Term, strict: Boolean = false)

Properties

open override val conclusion: Term

open override val identifier: RuleIdentifier

val strict: Boolean

Functions

open override fun toString(): String

open override fun toTerm(): Term

The clause the parser converts the item to (see RuleTerm)