gui/it.unibo.tuprolog.ui.gui.prolog/SolverFactorySession/close

close

open suspend override fun close()

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

Generated by Dokka
© 2026 Copyright