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

StronglyAdmissibleSet

object StronglyAdmissibleSet : Primitive

stronglyAdmissibleSet: every IN argument is reachable from the unattacked ones, iteratively adding the IN arguments whose attackers are all attacked by those added so far

Properties

help

open val help: String

signature

val signature: Signature

Functions

solve

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