AbstractNestedSolverStateTracker

Constructors

Link copied to clipboard
constructor(macroSolver: Solver, microSolver: Solver)

Properties

Link copied to clipboard
protected var currentMacroIteration: Int
Link copied to clipboard
Link copied to clipboard
protected val macroSolver: Solver
Link copied to clipboard
protected val microSolver: Solver
Link copied to clipboard

Functions

Link copied to clipboard
protected abstract fun consumeMacro(outerSnapshot: SolverStateSnapshot)
Link copied to clipboard
protected abstract fun consumeMicro(innerSnapshot: SolverStateSnapshot)
Link copied to clipboard
protected open fun onMacroLifecycleEvent(status: SolverStatus)
Link copied to clipboard
Link copied to clipboard