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

MaximalAdmissibleSubset

object MaximalAdmissibleSubset : Primitive

maximalAdmissibleSubset(+Ids, -Subset): the largest admissible subset of the conflict-free set Ids, removing the arguments with an attacker not attacked by the remaining ones until none is left (a greatest fixpoint, polynomial)

Properties

help

open val help: String

signature

val signature: Signature

Functions

solve

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