Uses of Enum Class
org.smtlib.SolverCapabilities.Capability

Packages that use SolverCapabilities.Capability

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 SolverCapabilities.Capability in org.smtlib

Methods in org.smtlib that return SolverCapabilities.Capability

Modifier and Type	Method	Description
static SolverCapabilities.Capability	SolverCapabilities.Capability.lookup(String name)	The capability whose token or enum name is the given name, ignoring case; null if none
static SolverCapabilities.Capability	SolverCapabilities.Capability.valueOf(String name)	Returns the enum constant of this class with the specified name.
static SolverCapabilities.Capability[]	SolverCapabilities.Capability.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 SolverCapabilities.Capability

Modifier and Type	Method	Description
static SolverCapabilities.Support	SolverCapabilities.supports(String solvername, SolverCapabilities.Capability capability)	Whether the solver supports the capability, according to the merged jsmtlib.properties
static SolverCapabilities.Support	SolverCapabilities.supports(Properties props, String solvername, SolverCapabilities.Capability capability)	Whether the solver supports the capability, according to the given properties