core/it.unibo.tuprolog.argumentation.core.primitives.utils/Sccs

Sccs

class Sccs(arity: Int) : Primitive

sccs(-Sccs): strongly connected components of the attack graph, as lists of argument identifiers, in topological order (a component is only attacked by itself and by the components before it). sccs(+Ids, -Sccs): strongly connected components of the subgraph of the arguments in Ids, as lists of argument identifiers, in topological order.

Constructors

Sccs

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>