Uses of Enum Class
org.smtlib.AbstractSolver.Shape

Packages that use AbstractSolver.Shape

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.

Uses of AbstractSolver.Shape in org.smtlib

Methods in org.smtlib that return AbstractSolver.Shape

Modifier and Type	Method	Description
protected static AbstractSolver.Shape	AbstractSolver.shapeOf(ICommand cmd)	The kind of response cmd has
static AbstractSolver.Shape	AbstractSolver.Shape.valueOf(String name)	Returns the enum constant of this class with the specified name.
static AbstractSolver.Shape[]	AbstractSolver.Shape.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.Shape

Modifier and Type	Method	Description
protected IResponse	AbstractSolver.checkShape(AbstractSolver.Shape shape, String sent, String text, IResponse r)	r, if it has the given shape; else the error for a response out of step with the command sent, whose raw response was text