solve-classic/it.unibo.tuprolog.solve.classic.fsm/replaceWithChild

replaceWithChild

fun ClassicExecutionContext.replaceWithChild(inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Content copied to clipboard