gui/it.unibo.tuprolog.ui.gui.solver/SolverSession/close

close

abstract suspend fun close()

Releases whatever resources this session holds; the session is unusable afterwards.

Generated by Dokka
© 2026 Copyright