core/it.unibo.tuprolog.argumentation.core.modules.labelling.argument/ConflictFreeModule

ConflictFreeModule

object ConflictFreeModule : PrologModule

The conflict-free labellings (module conflictfree, an argumentLabellingMode): a set of arguments IN, none attacking another one, those they attack OUT and the rest UND. The other semantics take from it the arguments to label and the labelling of a set.

Properties

Link copied to clipboard
override val alias: String
Link copied to clipboard
open override val baseContent: Library
Link copied to clipboard
open override val baseFlags: Iterable<ArgsFlag<*, *>>
Link copied to clipboard
open override val prologRawTheory: String
Link copied to clipboard
open override val prologTheory: Theory
Link copied to clipboard
open override val theoryOperators: OperatorSet

Functions

Link copied to clipboard
open fun content(): Library
Link copied to clipboard
open fun flags(): Iterable<ArgsFlag<*, *>>
Link copied to clipboard
override fun identifier(): String
Generated by Dokka
arg2p