parallel-solver/it.unibo.tuprolog.argumentation.parallel.cluster/AsyncSolutions/next

next

fun next(): Promise<Solution>

The next solution, the graph of its resolution then given by the graph() of the solver