core/it.unibo.tuprolog.argumentation.core.primitives.labelling.argument/AdmissibleSet

AdmissibleSet

class AdmissibleSet(arity: Int) : Primitive

admissibleSet: every attacker of an IN argument is attacked by an IN argument other than itself. admissibleSet(+Ids): every attacker of an IN argument, or of an argument in Ids, is attacked by one of them other than itself (the arguments in Ids taken as IN).

Constructors

AdmissibleSet

constructor(arity: Int)

Properties

help

open val help: String

signature

val signature: Signature

Functions

solve

open override fun solve(request: Solve.Request<ExecutionContext>): Sequence<Solve.Response>