gui/it.unibo.tuprolog.ui.gui.solver/SolverSessionFactory

SolverSessionFactory

fun interface SolverSessionFactory

Builds SolverSessions for one SolverProfile - the profile's own factory function.

Functions

Link copied to clipboard
abstract suspend fun create(request: SolverSessionCreationRequest): SolverSession

Builds a new session ready to resolve queries against, seeded from request.

Generated by Dokka
© 2026 Copyright