solve/it.unibo.tuprolog.solve/concurrentSolverFactory

concurrentSolverFactory

expect fun concurrentSolverFactory(): SolverFactory

Platform-specific lookup of the :solve-concurrent SolverFactory (backing it.unibo.tuprolog.solve.Solver.concurrent).

actual fun concurrentSolverFactory(): SolverFactory

Platform-specific lookup of the :solve-concurrent SolverFactory (backing it.unibo.tuprolog.solve.Solver.concurrent).

actual fun concurrentSolverFactory(): SolverFactory

Platform-specific lookup of the :solve-concurrent SolverFactory (backing it.unibo.tuprolog.solve.Solver.concurrent).

Generated by Dokka
© 2026 Copyright