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

NewLabelling

object NewLabelling : Primitive

newLabelling(+Branch, +Ids): in a new branch of Branch (left active), the arguments of Ids IN, the unlabelled arguments attacked by an IN one OUT, and the other unlabelled ones UND, asserted with a single context_assert_all

Properties

Link copied to clipboard
open val help: String
Link copied to clipboard
val signature: Signature

Functions

Link copied to clipboard
open override fun solve(request: Solve.Request<ExecutionContext>): Sequence<Solve.Response>
Generated by Dokka
arg2p