arg2p
Toggle table of contents
0.21.1-dev01-41c41f1
common
Target filter
common
Switch theme
Search in API
Skip to content
arg2p
core
/
it.unibo.tuprolog.argumentation.core.model
/
ArgItem
Arg
Item
interface
ArgItem
Inheritors
Premise
Rule
Members
Properties
conclusion
Link copied to clipboard
abstract
val
conclusion
:
Term
identifier
Link copied to clipboard
abstract
val
identifier
:
RuleIdentifier
Functions
to
Term
Link copied to clipboard
abstract
fun
toTerm
(
)
:
Term
The clause the parser converts the item to (see
RuleTerm
)