ksmt-core/io.ksmt.solver/KSolver/pop

pop

@JvmOverloads
@JvmName(name = "pop")
abstract fun pop(n: UInt)

Revert solver assertions state to previously created backtracking point.

See also

Parameters

n

number of pushed scopes to revert.