core/it.unibo.tuprolog.argumentation.core.engine.fsm/unfoldGoals

unfoldGoals

fun Term.unfoldGoals(): Sequence<Term>

Flattens a (possibly nested) , /2 tuple of goals into the sequence of its leaves, depth-first.

Generated by Dokka
arg2p