Uses of Enum Class
org.smtlib.AbstractSolver.StackChange

Packages that use AbstractSolver.StackChange

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.
org.smtlib.solvers	This package implements various instances of org.smtlib.ISolver, which are specific solvers that wrap and interact with various off-the-shelf SMT solvers currently available.

Uses of AbstractSolver.StackChange in org.smtlib

Methods in org.smtlib that return AbstractSolver.StackChange

Modifier and Type	Method	Description
static AbstractSolver.StackChange	AbstractSolver.StackChange.valueOf(String name)	Returns the enum constant of this class with the specified name.
static AbstractSolver.StackChange[]	AbstractSolver.StackChange.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in org.smtlib with parameters of type AbstractSolver.StackChange

Modifier and Type	Method	Description
protected IResponse	AbstractSolver.recordChange(AbstractSolver.StackChange kind, IResponse response)	Records the response to a command of the given kind that changes the assertion stack, and returns it.
protected IResponse	AbstractSolver.sendChange(AbstractSolver.StackChange kind, ICommand cmd)	Sends a command that changes the assertion stack, recording it (see recordChange)

Method parameters in org.smtlib with type arguments of type AbstractSolver.StackChange

Modifier and Type	Method	Description
protected IResponse	AbstractSolver.requireNoChangeSinceCheck(String commandName, Set<AbstractSolver.StackChange> answeredAfter)	Returns an error response if, since a check command, the solver has accepted a command of one of the given kinds (after which the solver wrongly keeps answering the get- commands about that check, which SMT-LIB's assert mode makes errors), else null

Uses of AbstractSolver.StackChange in org.smtlib.solvers

Methods in org.smtlib.solvers that return types with arguments of type AbstractSolver.StackChange

Modifier and Type	Method	Description
protected Set<AbstractSolver.StackChange>	Solver_z3_4_5.answeredAfter()	z3 4.5 reports the get- commands after a declare or define itself, except after declare-datatype(s) (probed 2026-10-29)
protected Set<AbstractSolver.StackChange>	Solver_z3_recent.answeredAfter()	The kinds of command after which this z3 still answers the get- commands about the last check (probed 2026-10-29: z3 4.6 to 5.1 after every declare and define; 4.8 and later also after reset-assertions, which 4.6 and 4.7 report themselves).