SolverSession

A live solver instance backing one page, built by a SolverSessionFactory from a SolverProfile.

Properties

What this particular session supports (may narrow its profile's declared capabilities).

Uniquely identifies this session while it's alive.

The current inspectable state (operators, flags, libraries, knowledge base) of the underlying solver.

abstract suspend fun close()

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

Starts resolving request's query, returning a cursor to step through its solutions.

Restores a pristine solver state. Implementations may rebuild internally.