core/it.unibo.tuprolog.argumentation.core.flags/ConflictModel

ConflictModel

object ConflictModel : ArgsFlag<String, Iterable<String>>

The conflicts between statements beyond those the theory declares (see the module conflict): the built-in ones as well (builtin: a literal and its negation, obligations and permissions), or none (declared, as in ABA, whose contraries are all declared)

Properties

isSwitch

open val isSwitch: Boolean

Whether the flag is a switch, on when stated by its predicate alone (queryMode.), rather than taking values

Functions

default

open override fun default(): String

predicate

open override fun predicate(): String

values

open override fun values(): Iterable<String>