core/it.unibo.tuprolog.argumentation.core.runtime.context/Context/derived

derived

fun <T : Any> derived(functor: String, arity: Int, name: String, branch: Int? = null, compute: (List<Clause>) -> T): T

A value derived from the clauses of a predicate in the given branch, the active one if null (see ClauseStore.derived); for a branch that does not exist, computed on no clause