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

Parts

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

Constructors

Parts

constructor(rules: Term, topRule: Term, conclusion: Term, body: Term, lastDefeasibleRules: Term, defeasibleRules: Term, defeasiblePremises: Term)

Properties

body

val body: Term

claim

val claim: Term?

The term the argument concludes, the single item of its conclusion

conclusion

val conclusion: Term

defeasiblePremises

val defeasiblePremises: Term

defeasibleRules

val defeasibleRules: Term

lastDefeasibleRules

val lastDefeasibleRules: Term

rules

val rules: Term

topRule

val topRule: Term